John Whitington
|
4f3b80c5df
|
open_in -> open_in_bin for -typeset, others
|
2022-11-02 21:13:27 +00:00 |
|
John Whitington
|
cc04a3e2c3
|
more
|
2022-10-19 16:45:52 +01:00 |
|
John Whitington
|
4e2bd4ce5d
|
more
|
2022-10-19 16:32:56 +01:00 |
|
John Whitington
|
b4c07ea798
|
more
|
2022-10-19 15:34:19 +01:00 |
|
John Whitington
|
be610916d4
|
more
|
2022-10-19 14:36:26 +01:00 |
|
John Whitington
|
733a94d882
|
more
|
2022-10-19 13:48:13 +01:00 |
|
John Whitington
|
c05fbc0164
|
First reworking of fontpacks
|
2022-10-18 19:13:02 +01:00 |
|
John Whitington
|
e29add66b1
|
more
|
2022-10-13 17:14:20 +01:00 |
|
John Whitington
|
337139a75f
|
more
|
2022-10-10 16:08:07 +01:00 |
|
John Whitington
|
cd4c16e6fb
|
more
|
2022-09-28 12:33:20 +01:00 |
|
John Whitington
|
7d181bf13d
|
more
|
2022-09-27 19:58:27 +01:00 |
|
John Whitington
|
e165a3bf5f
|
more
|
2022-09-27 18:10:09 +01:00 |
|
John Whitington
|
7531cf6a15
|
more
|
2022-09-27 18:07:05 +01:00 |
|
John Whitington
|
20b5d39a1c
|
more
|
2022-09-27 17:48:52 +01:00 |
|
John Whitington
|
a0b30c5843
|
more
|
2022-09-27 17:14:57 +01:00 |
|
John Whitington
|
89a82b553d
|
more
|
2022-09-27 16:59:04 +01:00 |
|
John Whitington
|
4d666417e1
|
more
|
2022-09-27 16:28:34 +01:00 |
|
John Whitington
|
04bcd8e443
|
mor
|
2022-09-26 20:38:16 +01:00 |
|
John Whitington
|
98c80a3c7a
|
more
|
2022-09-24 14:00:48 +01:00 |
|
John Whitington
|
ad442568db
|
more
|
2022-09-24 11:58:09 +01:00 |
|
John Whitington
|
989ab42c39
|
more
|
2022-09-23 19:06:07 +01:00 |
|
John Whitington
|
256a74bd0f
|
more
|
2022-09-21 17:40:28 +01:00 |
|
John Whitington
|
3237daebb7
|
more
|
2022-09-21 16:10:48 +01:00 |
|
John Whitington
|
c08b0351ca
|
more
|
2022-09-21 15:30:28 +01:00 |
|
John Whitington
|
676c862451
|
more
|
2022-09-20 14:54:45 +01:00 |
|
John Whitington
|
89401d7c2f
|
more
|
2022-09-16 18:07:46 +01:00 |
|
John Whitington
|
7a5f09daef
|
more
|
2022-09-16 17:32:13 +01:00 |
|
John Whitington
|
be5402ca9b
|
more
|
2022-09-16 17:26:32 +01:00 |
|
John Whitington
|
0a67734f1c
|
more
|
2022-09-16 16:53:47 +01:00 |
|
John Whitington
|
05b260763b
|
more on fonts
|
2022-09-15 18:13:42 +01:00 |
|
John Whitington
|
a19a78c9b2
|
more
|
2022-09-14 18:08:14 +01:00 |
|
John Whitington
|
550f809896
|
more
|
2022-09-13 17:59:13 +01:00 |
|
John Whitington
|
69b76f4746
|
more
|
2022-09-12 18:57:01 +01:00 |
|
John Whitington
|
f1792ce448
|
more
|
2022-09-12 17:05:20 +01:00 |
|
John Whitington
|
f2ed7580b3
|
more
|
2022-09-12 17:02:48 +01:00 |
|
John Whitington
|
319cee30af
|
more
|
2022-09-09 18:59:46 +01:00 |
|
John Whitington
|
df0a33a805
|
more
|
2022-09-01 16:46:24 +01:00 |
|
John Whitington
|
a676736410
|
Allow bytecode-only build
|
2022-08-02 19:24:05 +02:00 |
|
John Whitington
|
755a4352b5
|
Fix to work with CamlPDF new getnum
|
2022-07-14 14:06:25 +01:00 |
|
John Whitington
|
cad98fba51
|
Remove -w3 and fix deprecations
|
2022-04-09 14:13:12 +02:00 |
|
John Whitington
|
84c74e5ce2
|
UTF8 @B bookmarks on split
|
2022-04-03 11:31:36 +02:00 |
|
John Whitington
|
a0e93444b9
|
Better font error message
|
2022-02-13 17:57:02 +00:00 |
|
John Whitington
|
1f9d45a8be
|
more
|
2022-01-31 14:10:31 +00:00 |
|
John Whitington
|
84841250eb
|
Fix font choosing regression in v2.5
|
2022-01-31 12:36:31 +00:00 |
|
John Whitington
|
9e58ad6613
|
more
|
2022-01-13 16:18:54 +00:00 |
|
John Whitington
|
c4cb8e25df
|
Ready for v2.5 release
|
2022-01-09 14:57:06 +00:00 |
|
John Whitington
|
c8ce0d5c2b
|
more
|
2022-01-08 16:20:26 +00:00 |
|
John Whitington
|
3304b54438
|
more
|
2022-01-08 14:26:54 +00:00 |
|
John Whitington
|
3698f0425f
|
more
|
2022-01-03 15:13:03 +00:00 |
|
John Whitington
|
82863fe273
|
more
|
2022-01-02 15:18:55 +00:00 |
|
John Whitington
|
dd2f8fd161
|
Fixing up JSON text output
|
2021-12-30 15:25:24 +00:00 |
|
John Whitington
|
ce2ff087b8
|
more
|
2021-12-29 15:58:03 +00:00 |
|
John Whitington
|
c0f5a0db54
|
more
|
2021-12-28 12:03:46 +00:00 |
|
John Whitington
|
b6c5439829
|
Clean up duplicated ppstub
|
2021-12-27 15:20:07 +00:00 |
|
John Whitington
|
69cce9e6f0
|
Finished splitting of cpdf.ml
|
2021-12-22 09:31:39 +00:00 |
|
John Whitington
|
e3acc74ecd
|
more
|
2021-12-22 08:58:56 +00:00 |
|
John Whitington
|
7066a8873a
|
more
|
2021-12-21 15:40:52 +00:00 |
|
John Whitington
|
27d13d9e3b
|
more
|
2021-12-21 15:33:56 +00:00 |
|
John Whitington
|
9bdeccb343
|
more
|
2021-12-21 15:25:59 +00:00 |
|
John Whitington
|
c711e3aa77
|
more
|
2021-12-21 15:06:40 +00:00 |
|
John Whitington
|
4c886d2b13
|
more
|
2021-12-21 14:57:42 +00:00 |
|
John Whitington
|
6297181775
|
more
|
2021-12-21 14:00:58 +00:00 |
|
John Whitington
|
c6d606136b
|
more
|
2021-12-21 13:44:46 +00:00 |
|
John Whitington
|
a9bfd16142
|
more
|
2021-12-21 11:12:52 +00:00 |
|
John Whitington
|
6616516f77
|
more
|
2021-12-20 09:02:39 +00:00 |
|
John Whitington
|
c822e100db
|
more
|
2021-12-19 13:38:27 +00:00 |
|
John Whitington
|
0e9f35ab69
|
more
|
2021-12-19 13:26:15 +00:00 |
|
John Whitington
|
37f900042e
|
more
|
2021-12-19 12:55:06 +00:00 |
|
John Whitington
|
8726d3dee0
|
more
|
2021-12-18 16:26:33 +00:00 |
|
John Whitington
|
1048bdf1df
|
more
|
2021-12-18 16:14:31 +00:00 |
|
John Whitington
|
e36552bffd
|
more
|
2021-12-18 15:47:06 +00:00 |
|
John Whitington
|
265b4c71d0
|
more
|
2021-12-17 16:12:03 +00:00 |
|
John Whitington
|
7089375ab9
|
more
|
2021-12-15 13:51:26 +00:00 |
|
John Whitington
|
e821b1722c
|
more
|
2021-12-15 13:01:51 +00:00 |
|
John Whitington
|
3bc02d71ec
|
toc-bookmark
|
2021-12-10 12:58:30 +00: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
|
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
|
e5074c20a3
|
more
|
2021-11-23 14:20:38 -08:00 |
|
John Whitington
|
35d1675553
|
more
|
2021-11-22 15:56:40 -08:00 |
|
John Whitington
|
766933ef75
|
newlines done
|
2021-11-22 14:44:14 -08:00 |
|
John Whitington
|
6d97fd4851
|
more
|
2021-11-22 11:56:16 -08:00 |
|
John Whitington
|
6f0b8e2f66
|
more
|
2021-11-21 14:15:06 -08:00 |
|
John Whitington
|
12c4c7ab7e
|
More typesetter work
|
2021-11-19 15:21:37 -08:00 |
|
John Whitington
|
b5977ae65e
|
more
|
2021-11-18 16:32:35 -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
|
2585ed4d70
|
more
|
2021-11-12 13:59:24 -08:00 |
|
John Whitington
|
8d54241bfe
|
more
|
2021-11-12 13:56:41 -08:00 |
|
John Whitington
|
847b120090
|
Only print font entries which are in charset
|
2021-11-12 10:07:37 -08:00 |
|
John Whitington
|
2fb55d514d
|
Font table printer now does unicode, much better
|
2021-11-11 12:29:08 -08:00 |