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 |
|
John Whitington
|
2028b72c53
|
Tidying
|
2014-10-30 19:48:45 +00:00 |
|
John Whitington
|
f9213ad019
|
Changes for 1.8, better cleaning
|
2014-10-29 16:30:25 +00:00 |
|
John Whitington
|
9a2ccc39e0
|
Added xmlm in, for use reading and writing XMP metadata
|
2014-10-08 16:10:27 +01:00 |
|
John Whitington
|
76aadd87fb
|
Began fixes to page labels for 1.8 release
|
2014-09-17 15:27:25 +01:00 |
|
John Whitington
|
0ee7c2a6b3
|
Now removes 'doc' on make clean
|
2014-09-16 16:12:58 +01:00 |
|
John Whitington
|
42028ff80a
|
Added squeezing functionality
|
2014-09-11 14:05:13 +01:00 |
|
John Whitington
|
5e09b88ed7
|
Some font work
|
2014-09-08 17:55:14 +01:00 |
|
John Whitington
|
ace1c4f3f2
|
Unix back in
|
2013-11-22 14:42:18 +00:00 |
|
John Whitington
|
cfd453cca0
|
Removal of Unix dependency
|
2013-11-12 19:28:39 +00:00 |
|
John Whitington
|
c721b085b8
|
Removed dependency on Unix
|
2013-11-11 16:39:45 +00:00 |
Anil Madhavapeddy
|
c19f00d714
|
build: add -annot flag to build flags
|
2013-09-16 13:17:40 +01:00 |
|
John Whitington
|
17d10c3fdc
|
Now builds library and executable and has ocamlfind support
|
2013-08-20 21:00:17 +01:00 |
|
John Whitington
|
f402f4f720
|
Initial commit
|
2013-08-20 15:32:57 +01:00 |