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
|
d7ab57a22d
|
more
|
2021-12-21 15:00:17 +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
|
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
|
9516784ece
|
more
|
2021-12-06 15:55:46 -08:00 |
|
John Whitington
|
9f776cb6c6
|
more
|
2021-12-06 15:46:52 -08:00 |
|
John Whitington
|
925ae38795
|
more
|
2021-11-18 16:41:42 -08:00 |
|
John Whitington
|
71fb6b0594
|
Beginning simple typesetter
|
2021-11-15 17:42:17 -08:00 |
|
John Whitington
|
87c82dbbf0
|
more
|
2021-11-11 15:05:07 -08:00 |
|
John Whitington
|
2c1bb8852a
|
more
|
2021-11-11 10:09:23 -08:00 |
|
John Whitington
|
dfee9e4619
|
more
|
2021-11-02 13:56:45 +00:00 |
|
John Whitington
|
b93b230fa4
|
more
|
2021-10-25 16:26:30 +01:00 |
|
John Whitington
|
b70615ec16
|
more
|
2021-10-18 16:22:38 +01:00 |
|
John Whitington
|
52dc0585c8
|
more
|
2021-10-18 16:12:10 +01:00 |
|
John Whitington
|
588aa5f150
|
Yojson reading
|
2021-10-06 14:06:14 +01:00 |
|
John Whitington
|
f9e58e6d7e
|
Back to compiling
|
2021-10-05 18:28:28 +01:00 |
|
John Whitington
|
6acae6e5ce
|
remove old json stuff
|
2021-10-05 17:27:59 +01:00 |
|
John Whitington
|
86e0ce6f2f
|
Yojson in
|
2021-10-05 17:16:13 +01:00 |
|
John Whitington
|
5ae9ffe25f
|
Split off a little code
|
2021-10-02 12:22:59 +01:00 |
|
John Whitington
|
1377c5af83
|
lowercase
|
2021-10-01 22:05:43 +01:00 |
|
John Whitington
|
b874221aca
|
-j support
|
2021-10-01 12:16:55 +01:00 |
|
John Whitington
|
a6256c0331
|
JSON to outputs
|
2021-10-01 11:39:47 +01:00 |
|
John Whitington
|
d02ff84dd8
|
Vendor in streams for tjjson
|
2021-09-30 19:55:52 +01:00 |
|
John Whitington
|
671a637271
|
cpdfposition
|
2021-08-12 20:38:55 +01:00 |
|
John Whitington
|
afe80205dd
|
Splitting page spec into separate module
|
2021-08-12 20:14:48 +01:00 |
|
John Whitington
|
0a9596f979
|
Unix gone finally
|
2020-12-02 13:31:23 +00:00 |
|
John Whitington
|
1305853bd8
|
more
|
2020-07-21 12:28:32 +01:00 |
|
John Whitington
|
2e6247013b
|
No longer need to mention bigarray, begin to replace Unix
|
2020-06-11 18:24:55 +01:00 |
|
John Whitington
|
c400b73113
|
Back to unix
|
2020-06-04 19:32:20 +01:00 |
|
John Whitington
|
daecb43674
|
Begin vendoring of unix for gettimeofday
|
2020-05-18 18:30:54 +01:00 |
|
John Whitington
|
2165d10862
|
Scaffolding for -output-json
|
2020-01-30 10:20:33 +00:00 |
|
John Whitington
|
02574b57d4
|
Vendored in JSON library, other updates to begin v2.4
|
2020-01-24 16:20:40 +08:00 |
|
John Whitington
|
a4c0aad692
|
Split cpdfcoord.ml off from cpdfcommand.ml
|
2019-09-26 11:44:54 +01:00 |
|
John Whitington
|
c9b969a385
|
Add .cmti files
|
2019-09-15 17:29:23 +01:00 |
|
John Whitington
|
358a1eb6aa
|
-bin-annot
|
2019-09-14 17:29:20 +01:00 |
|
John Whitington
|
18075b84ce
|
-safe-string
|
2018-07-30 13:58:25 +01:00 |
|
John Whitington
|
4eab7ebdd7
|
Added -unsafe-string for 4.06
|
2017-10-03 12:19:37 +01:00 |
|
John Whitington
|
a0ebbb6648
|
Work on content stream sharing
|
2016-03-29 14:40:01 +01:00 |