John Whitington
|
ca1e09700d
|
more
|
2023-02-15 21:28:44 +00:00 |
|
John Whitington
|
d3f847314a
|
more
|
2023-02-13 20:50:36 +00:00 |
|
John Whitington
|
dfaf8f0c4a
|
more
|
2023-02-05 15:42:55 +00:00 |
|
John Whitington
|
181c126a4d
|
more
|
2023-02-04 16:00:16 +00:00 |
|
John Whitington
|
83521e31f0
|
more
|
2023-02-03 13:03:51 +00:00 |
|
John Whitington
|
4a8fd41ebc
|
ore
|
2023-01-25 17:39:01 +08:00 |
|
John Whitington
|
67a66a8226
|
more
|
2023-01-13 13:51:43 +08:00 |
|
John Whitington
|
99890d076f
|
more
|
2023-01-12 10:36:27 +08:00 |
|
John Whitington
|
322fb7241b
|
more
|
2023-01-11 14:55:50 +08:00 |
|
John Whitington
|
25f1c3613e
|
nore
|
2023-01-11 14:16:17 +08:00 |
|
John Whitington
|
dd1b93ef44
|
more
|
2022-12-23 19:27:03 +00:00 |
|
John Whitington
|
5a54f66c93
|
Fix -two-up typo in manual
|
2022-11-30 11:09:41 +00:00 |
|
John Whitington
|
2e1e343d0c
|
more
|
2022-11-02 21:15:46 +00:00 |
|
John Whitington
|
3457664d3f
|
more
|
2022-09-21 20:36:14 +01:00 |
|
John Whitington
|
4349e64d95
|
more
|
2022-09-20 14:55:38 +01:00 |
|
John Whitington
|
a653020a5f
|
more
|
2022-09-13 17:23:30 +01:00 |
|
John Whitington
|
319cee30af
|
more
|
2022-09-09 18:59:46 +01:00 |
|
John Whitington
|
c4dd8f5131
|
more
|
2022-08-19 20:27:33 +01:00 |
|
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 |