John Whitington
|
4c475dd619
|
Update Yojson ready for OCaml 5
|
2022-08-15 19:37:51 +01:00 |
|
John Whitington
|
51d1765fb5
|
more
|
2022-08-07 19:01:33 +02:00 |
|
John Whitington
|
7916bcfee1
|
more
|
2022-08-04 18:16:04 +02:00 |
|
John Whitington
|
27b881663f
|
more
|
2022-07-15 16:48:51 +01:00 |
|
John Whitington
|
b14c33c2e9
|
more
|
2022-05-09 15:48:27 +01:00 |
|
John Whitington
|
84c74e5ce2
|
UTF8 @B bookmarks on split
|
2022-04-03 11:31:36 +02:00 |
|
John Whitington
|
895921b2e7
|
more
|
2022-01-31 12:39:12 +00:00 |
|
John Whitington
|
c4cb8e25df
|
Ready for v2.5 release
|
2022-01-09 14:57:06 +00:00 |
|
John Whitington
|
3304b54438
|
more
|
2022-01-08 14:26:54 +00:00 |
|
John Whitington
|
349fd335f6
|
more
|
2021-12-19 12:56:37 +00:00 |
|
John Whitington
|
3f6cc82efa
|
more
|
2021-12-18 16:36:56 +00:00 |
|
John Whitington
|
ca267b3de4
|
more
|
2021-12-17 15:25:15 +00:00 |
|
John Whitington
|
e821b1722c
|
more
|
2021-12-15 13:01:51 +00:00 |
|
John Whitington
|
e769b12493
|
more
|
2021-12-15 10:46:59 +00:00 |
|
John Whitington
|
e3480f16d9
|
/QuadPoints
|
2021-12-15 08:53:34 +00:00 |
|
John Whitington
|
48a3ba7462
|
more
|
2021-11-24 17:44:23 -08:00 |
|
John Whitington
|
d395085408
|
more
|
2021-11-18 15:49:37 -08:00 |
|
John Whitington
|
87fb7e0dff
|
First typesetting result
|
2021-11-18 14:48:25 -08:00 |
|
John Whitington
|
0b5f46044e
|
more
|
2021-11-15 11:17:15 -08:00 |
|
John Whitington
|
f6631aa101
|
more
|
2021-11-12 14:09:49 -08:00 |
|
John Whitington
|
2d794a2a99
|
DUP page ranges
|
2021-11-12 11:03:17 -08:00 |
|
John Whitington
|
2c1bb8852a
|
more
|
2021-11-11 10:09:23 -08: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 |
|
John Whitington
|
cd68d4852d
|
raw mode for charcodes
|
2021-11-03 12:15:15 +00:00 |
|
John Whitington
|
34b60f69fa
|
more
|
2021-11-01 17:09:58 +00:00 |
|
John Whitington
|
d43e7c71da
|
more
|
2021-11-01 15:40:33 +00:00 |
|
John Whitington
|
3142ae5251
|
more
|
2021-10-29 15:09:21 +01:00 |
|
John Whitington
|
6a52728e9d
|
beginning -replace-dict-entry
|
2021-10-28 17:06:46 +01:00 |
|
John Whitington
|
3ed74079c8
|
more
|
2021-10-28 15:34:03 +01:00 |
|
John Whitington
|
ec14b3ab9c
|
more
|
2021-10-27 17:36:42 +01:00 |
|
John Whitington
|
eec83c7af0
|
more
|
2021-10-27 17:34:04 +01:00 |
|
John Whitington
|
0825a2d87a
|
more
|
2021-10-27 14:04:10 +01:00 |
|
John Whitington
|
a3bfc5b0d2
|
more
|
2021-10-26 16:54:29 +01:00 |
|
John Whitington
|
b3080fa10a
|
more
|
2021-10-21 18:10:47 +01:00 |
|
John Whitington
|
84453105ba
|
more
|
2021-10-19 19:26:02 +01:00 |
|
John Whitington
|
fff0e7e6e3
|
more
|
2021-10-12 19:52:03 +01:00 |
|
John Whitington
|
86e0ce6f2f
|
Yojson in
|
2021-10-05 17:16:13 +01:00 |
|
John Whitington
|
c93588ed1b
|
more
|
2021-10-01 16:59:05 +01:00 |
|
John Whitington
|
d02ff84dd8
|
Vendor in streams for tjjson
|
2021-09-30 19:55:52 +01:00 |
|
John Whitington
|
3d4a5bf7eb
|
more
|
2021-09-28 14:14:35 +01:00 |
|
John Whitington
|
d06011c7ca
|
more
|
2021-09-27 18:41:35 +01:00 |
|
John Whitington
|
53d0a08422
|
NOT and CPDF_DEBUG
|
2021-08-10 20:11:20 +01:00 |
|
John Whitington
|
8fda026ad7
|
stderr unbuffered
|
2021-07-23 16:26:07 +01:00 |
|
John Whitington
|
35b2eff0da
|
typo
|
2021-06-22 20:52:05 +01:00 |
|
John Whitington
|
b3488837d0
|
cleaning
|
2021-06-21 15:44:47 +01:00 |
|
John Whitington
|
1a952619c9
|
more
|
2021-06-20 17:30:14 +01:00 |
|
John Whitington
|
3073c74367
|
Beginnings of support for transforming bookmark destinations
|
2021-05-27 17:31:12 +01:00 |
|
John Whitington
|
9cc05040e1
|
more
|
2021-05-21 15:28:42 +01:00 |
|
John Whitington
|
589c56023b
|
more
|
2020-12-11 17:24:58 +00:00 |