John Whitington
|
3bc02d71ec
|
toc-bookmark
|
2021-12-10 12:58:30 +00:00 |
|
John Whitington
|
21bf568d87
|
more
|
2021-12-06 19:45:10 -08:00 |
|
John Whitington
|
9516784ece
|
more
|
2021-12-06 15:55:46 -08:00 |
|
John Whitington
|
9f776cb6c6
|
more
|
2021-12-06 15:46:52 -08:00 |
|
John Whitington
|
10fc61f98a
|
more
|
2021-12-06 15:33:18 -08:00 |
|
John Whitington
|
ad5a235c61
|
more
|
2021-12-05 16:25:50 -08:00 |
|
John Whitington
|
e30714962d
|
more
|
2021-12-03 21:08:39 -08:00 |
|
John Whitington
|
ef0d423cf3
|
more
|
2021-12-03 16:53:58 -08:00 |
|
John Whitington
|
bb5fae55d2
|
more
|
2021-12-02 12:04:14 -08:00 |
|
John Whitington
|
680e66505e
|
more
|
2021-12-01 16:20:39 -08:00 |
|
John Whitington
|
fb190868d1
|
string -> char list in typesetter
|
2021-12-01 16:11:33 -08:00 |
|
John Whitington
|
d5111ccfcf
|
more
|
2021-12-01 16:01:54 -08:00 |
|
John Whitington
|
b7ad66df73
|
more
|
2021-12-01 15:50:04 -08:00 |
|
John Whitington
|
48a3ba7462
|
more
|
2021-11-24 17:44:23 -08:00 |
|
John Whitington
|
5a513eeb61
|
more
|
2021-11-23 14:31:16 -08:00 |
|
John Whitington
|
e5074c20a3
|
more
|
2021-11-23 14:20:38 -08:00 |
|
John Whitington
|
35d1675553
|
more
|
2021-11-22 15:56:40 -08:00 |
|
John Whitington
|
451514cae4
|
Paginator done
|
2021-11-22 15:43:45 -08:00 |
|
John Whitington
|
766933ef75
|
newlines done
|
2021-11-22 14:44:14 -08:00 |
|
John Whitington
|
5fcc685d6c
|
Fix -scale-contents position bug
|
2021-11-22 12:20:48 -08:00 |
|
John Whitington
|
6d97fd4851
|
more
|
2021-11-22 11:56:16 -08:00 |
|
John Whitington
|
2768495bf1
|
more
|
2021-11-21 17:27:51 -08:00 |
|
John Whitington
|
6f0b8e2f66
|
more
|
2021-11-21 14:15:06 -08:00 |
|
John Whitington
|
e2afc82188
|
more
|
2021-11-19 16:28:13 -08:00 |
|
John Whitington
|
12c4c7ab7e
|
More typesetter work
|
2021-11-19 15:21:37 -08:00 |
|
John Whitington
|
925ae38795
|
more
|
2021-11-18 16:41:42 -08:00 |
|
John Whitington
|
b5977ae65e
|
more
|
2021-11-18 16:32:35 -08:00 |
|
John Whitington
|
d395085408
|
more
|
2021-11-18 15:49:37 -08:00 |
|
John Whitington
|
81e3970a0c
|
more
|
2021-11-18 15:32:58 -08:00 |
|
John Whitington
|
dfff828575
|
more
|
2021-11-18 15:23:38 -08:00 |
|
John Whitington
|
87fb7e0dff
|
First typesetting result
|
2021-11-18 14:48:25 -08:00 |
|
John Whitington
|
3b54c94538
|
Beginning typesetter
|
2021-11-18 11:09:09 -08:00 |
|
John Whitington
|
71fb6b0594
|
Beginning simple typesetter
|
2021-11-15 17:42:17 -08:00 |
|
John Whitington
|
0b5f46044e
|
more
|
2021-11-15 11:17:15 -08:00 |
|
John Whitington
|
b908e5f57d
|
more
|
2021-11-15 09:30:11 -08:00 |
|
John Whitington
|
4e12e01848
|
More splitting up of source files
|
2021-11-12 14:50:31 -08:00 |
|
John Whitington
|
f6631aa101
|
more
|
2021-11-12 14:09:49 -08:00 |
|
John Whitington
|
98e619baca
|
more
|
2021-11-12 14:00:57 -08:00 |
|
John Whitington
|
2585ed4d70
|
more
|
2021-11-12 13:59:24 -08:00 |
|
John Whitington
|
8d54241bfe
|
more
|
2021-11-12 13:56:41 -08:00 |
|
John Whitington
|
7df08c1f1c
|
more
|
2021-11-12 11:04:56 -08:00 |
|
John Whitington
|
2d794a2a99
|
DUP page ranges
|
2021-11-12 11:03:17 -08:00 |
|
John Whitington
|
847b120090
|
Only print font entries which are in charset
|
2021-11-12 10:07:37 -08:00 |
|
John Whitington
|
87c82dbbf0
|
more
|
2021-11-11 15:05:07 -08:00 |
|
John Whitington
|
2fb55d514d
|
Font table printer now does unicode, much better
|
2021-11-11 12:29:08 -08:00 |
|
John Whitington
|
46b884bf47
|
Import and parse UnicodeData.txt
|
2021-11-11 11:45:47 -08:00 |
|
John Whitington
|
2c1bb8852a
|
more
|
2021-11-11 10:09:23 -08:00 |
|
John Whitington
|
c6df45109e
|
Added range to -list-fonts
|
2021-11-03 16:51:28 +00:00 |
|
John Whitington
|
16aad662f4
|
more
|
2021-11-03 16:05:53 +00:00 |
|
John Whitington
|
7c4fbf589d
|
-add-text with real font name done
|
2021-11-03 13:40:54 +00:00 |