John Whitington
|
08c19e5b2e
|
Expose into cpdflib
|
2023-08-31 14:52:24 +01:00 |
John Whitington
|
f729f5ea78
|
Move functions into cpdfimage.ml for libcpdf
|
2023-08-14 16:15:11 +01:00 |
John Whitington
|
e7456b8348
|
Tidy up -crop / -cropbox documentation
|
2023-08-03 13:21:24 +01:00 |
John Whitington
|
057434fb6a
|
v2.6 documentation
|
2023-07-27 13:21:15 +01:00 |
John Whitington
|
44b51ceb03
|
Final manual / release dates for v2.6
|
2023-07-24 12:38:26 +01:00 |
John Whitington
|
57931eb911
|
Document new v2.6 fonts work
|
2023-07-18 19:52:54 +01:00 |
John Whitington
|
7408a79186
|
more
|
2023-07-17 16:39:41 +01:00 |
John Whitington
|
e257c1c62b
|
Tidy up debug
|
2023-07-17 14:13:24 +01:00 |
John Whitington
|
1db9310884
|
TTF/no default
|
2023-07-17 13:53:09 +01:00 |
John Whitington
|
951a947f43
|
mixed ttf fonts in -draw
|
2023-07-17 13:38:35 +01:00 |
John Whitington
|
8ded8853f2
|
Correct TTF fontname from cpdfcommand.ml
|
2023-07-17 12:40:49 +01:00 |
John Whitington
|
dcf387d0a0
|
More draw/font bugfixes
|
2023-07-14 16:36:13 +01:00 |
John Whitington
|
93219ce4a0
|
debugging draw/font
|
2023-07-14 16:27:53 +01:00 |
John Whitington
|
9753e9fb9b
|
reworking cpdfdraw for new font system
|
2023-07-14 14:40:59 +01:00 |
John Whitington
|
c9f2a713d5
|
Working in new Font/FontPack split in Cpdfdraw
|
2023-07-14 13:57:00 +01:00 |
John Whitington
|
84c7926be6
|
Rework command line options for TTF font loading
|
2023-07-14 12:37:57 +01:00 |
John Whitington
|
8d46e15a7e
|
First correct -font-ttf with -draw
|
2023-07-13 15:57:31 +01:00 |
John Whitington
|
7d1733b823
|
Beginning -font-ttf for -draw
|
2023-07-07 14:34:51 +01:00 |
John Whitington
|
0d405404cb
|
Tidying
|
2023-06-28 15:42:12 +01:00 |
John Whitington
|
17aab55a32
|
Cut for beta
|
2023-06-27 16:53:16 +01:00 |
John Whitington
|
0da78da07c
|
-prerotate for -scale-to-fit
|
2023-06-27 16:24:41 +01:00 |
John Whitington
|
09d0e912ca
|
Deprecate -squeeze-no-recompress
|
2023-06-21 15:38:32 +01:00 |
John Whitington
|
6f345c4b80
|
Version string
|
2023-06-19 13:23:10 +01:00 |
John Whitington
|
0cc062b302
|
Remove pdfgraphics to old/
|
2023-06-13 14:07:34 +01:00 |
John Whitington
|
88b0cdefee
|
Fix up one argument -topleft etc.
|
2023-06-07 21:52:01 +01:00 |
John Whitington
|
65e7bbf68f
|
more
|
2023-06-07 16:35:26 +01:00 |
John Whitington
|
842dd1b6d0
|
Beginning to document -draw
|
2023-06-02 16:08:51 +01:00 |
John Whitington
|
779f30eea9
|
more
|
2023-06-02 13:05:42 +01:00 |
John Whitington
|
6bb7106c84
|
Fix docs for -png -jpeg
|
2023-06-01 19:10:06 +01:00 |
John Whitington
|
5c0ea98266
|
Better error handling for -png and -jpeg
|
2023-06-01 14:31:40 +01:00 |
John Whitington
|
a216723708
|
Fix permissions for -set-annotations
|
2023-05-29 13:05:37 +01:00 |
John Whitington
|
ae2e8d904f
|
more
|
2023-05-12 19:01:59 +01:00 |
John Whitington
|
c2f6d5779f
|
more
|
2023-05-12 15:33:28 +01:00 |
John Whitington
|
4e3072803a
|
more
|
2023-05-11 22:03:47 +01:00 |
John Whitington
|
148cde595d
|
more
|
2023-05-11 21:54:23 +01:00 |
John Whitington
|
51b1c8ffce
|
more
|
2023-05-11 19:18:14 +01:00 |
John Whitington
|
5f83c581f7
|
more
|
2023-05-11 15:55:48 +01:00 |
John Whitington
|
8d49306a70
|
more
|
2023-05-10 18:44:45 +01:00 |
John Whitington
|
73701b5d7d
|
more
|
2023-05-10 17:03:53 +01:00 |
John Whitington
|
22506a6c4d
|
more
|
2023-05-10 16:55:22 +01:00 |
John Whitington
|
6bc3ada2b2
|
q/Q/BT/ET by data structure
|
2023-05-09 14:30:30 +01:00 |
John Whitington
|
a2628254b8
|
more
|
2023-05-09 13:40:38 +01:00 |
John Whitington
|
484c30b9ab
|
more
|
2023-05-09 12:36:45 +01:00 |
John Whitington
|
25732b9208
|
more
|
2023-05-04 18:57:08 +01:00 |
John Whitington
|
7351e73a3f
|
more
|
2023-05-04 13:53:49 +01:00 |
John Whitington
|
5660e4817c
|
more
|
2023-05-03 19:01:25 +01:00 |
John Whitington
|
d7b04f0bb0
|
more
|
2023-05-03 15:49:14 +01:00 |
John Whitington
|
9040630487
|
more
|
2023-05-03 14:19:55 +01:00 |
John Whitington
|
f192a99a35
|
more
|
2023-05-03 13:53:48 +01:00 |
John Whitington
|
829edb6460
|
more
|
2023-05-03 13:43:57 +01:00 |
John Whitington
|
d0cdba9c1e
|
more
|
2023-05-02 15:25:16 +01:00 |
John Whitington
|
95115786d9
|
more
|
2023-05-02 15:04:35 +01:00 |
John Whitington
|
64fb6169b9
|
Text specials
|
2023-05-02 14:47:18 +01:00 |
John Whitington
|
0cfc6f0afd
|
more
|
2023-05-01 15:56:50 +01:00 |
John Whitington
|
75e6660001
|
more
|
2023-05-01 15:15:12 +01:00 |
John Whitington
|
f481824d1f
|
more
|
2023-05-01 14:39:42 +01:00 |
John Whitington
|
2f0574fdc5
|
more
|
2023-04-28 19:03:10 +01:00 |
John Whitington
|
cf0638db28
|
more
|
2023-04-28 16:09:19 +01:00 |
John Whitington
|
a2ed069fe2
|
more
|
2023-04-28 15:35:05 +01:00 |
John Whitington
|
38ee3525f3
|
Back to drawing
|
2023-04-27 19:14:58 +01:00 |
John Whitington
|
c30c49e90e
|
Use new logger
|
2023-04-25 13:45:56 +01:00 |
John Whitington
|
b17b08a3e1
|
more
|
2023-04-23 21:00:46 +01:00 |
John Whitington
|
dcd26044ef
|
more
|
2023-04-22 16:58:05 +01:00 |
John Whitington
|
d596c381d4
|
Cut old copy_annotations code
|
2023-04-21 15:39:09 +01:00 |
John Whitington
|
bde70aa224
|
more
|
2023-04-18 14:42:17 +01:00 |
John Whitington
|
a4c06ee03a
|
more
|
2023-04-17 19:55:11 +01:00 |
John Whitington
|
64d9c94024
|
more
|
2023-04-13 16:51:11 +01:00 |
John Whitington
|
4df1f67001
|
removal of old things
|
2023-04-12 19:37:30 +01:00 |
John Whitington
|
67ec6268af
|
Remove old hack
|
2023-04-12 19:20:47 +01:00 |
John Whitington
|
449a3c2e29
|
More positions
|
2023-04-07 15:31:21 +01:00 |
John Whitington
|
95d44939de
|
Allow noncomp to use -producer / -set-producer
|
2023-04-03 17:10:29 +01:00 |
John Whitington
|
06a0553568
|
guard 2.x files against having version changed
|
2023-03-22 15:45:00 +00:00 |
John Whitington
|
d00f8571d7
|
more
|
2023-03-06 19:11:12 +00:00 |
John Whitington
|
9f50046c52
|
more
|
2023-03-06 17:22:23 +00:00 |
John Whitington
|
51472da1fa
|
more
|
2023-03-06 16:56:46 +00:00 |
John Whitington
|
0af6af567d
|
more
|
2023-03-06 16:22:50 +00:00 |
John Whitington
|
ef2ef5f6ec
|
mroe
|
2023-03-06 15:43:47 +00:00 |
John Whitington
|
3a59e18fd8
|
more
|
2023-03-03 17:07:12 +00:00 |
John Whitington
|
b3951da415
|
Begin work on -composition
|
2023-03-03 16:02:16 +00:00 |
John Whitington
|
df16849a04
|
more
|
2023-03-02 19:44:50 +00:00 |
John Whitington
|
d755c96050
|
more
|
2023-02-28 16:55:35 +00:00 |
John Whitington
|
17a742250e
|
more
|
2023-02-21 14:50:07 +00:00 |
John Whitington
|
844933e2da
|
mroe
|
2023-02-20 19:43:23 +00:00 |
John Whitington
|
060fbd0c83
|
more
|
2023-02-20 19:39:42 +00:00 |
John Whitington
|
c803c9e511
|
more
|
2023-02-20 12:56:59 +00:00 |
John Whitington
|
dc2a04d530
|
more
|
2023-02-17 15:30:39 +00:00 |
John Whitington
|
ac62069413
|
more
|
2023-02-16 12:36:09 +00:00 |
John Whitington
|
ca1e09700d
|
more
|
2023-02-15 21:28:44 +00:00 |
John Whitington
|
11a671318d
|
more
|
2023-02-07 20:01:53 +00:00 |
John Whitington
|
d148d8fedf
|
more
|
2023-01-17 13:37:54 +08:00 |
John Whitington
|
0bd9853d99
|
more
|
2023-01-16 15:03:34 +08:00 |
John Whitington
|
01ff49808c
|
more
|
2023-01-13 14:30:46 +08:00 |
John Whitington
|
322fb7241b
|
more
|
2023-01-11 14:55:50 +08:00 |
John Whitington
|
18d3763b05
|
nore
|
2023-01-11 13:51:50 +08:00 |
John Whitington
|
68a57fa99b
|
more
|
2023-01-11 13:25:08 +08:00 |
John Whitington
|
2ce98eeeab
|
Beginning on -jpeg, -png
|
2023-01-11 12:12:51 +08:00 |
John Whitington
|
98a9c87358
|
more
|
2022-12-23 14:29:47 +00:00 |
John Whitington
|
3cc0b8490d
|
more
|
2022-12-23 13:14:24 +00:00 |
John Whitington
|
7441aee484
|
more
|
2022-12-22 20:42:55 +00:00 |
John Whitington
|
771eb18538
|
more
|
2022-12-22 16:20:00 +00:00 |
John Whitington
|
512122d405
|
more
|
2022-12-21 16:40:13 +00:00 |
John Whitington
|
f0d503a983
|
more
|
2022-12-21 16:09:04 +00:00 |
John Whitington
|
dc2380298a
|
more
|
2022-12-16 16:49:59 +00:00 |
John Whitington
|
d16c7c284a
|
more
|
2022-12-16 13:13:55 +00:00 |
John Whitington
|
7a7324ff92
|
more
|
2022-12-15 20:15:43 +00:00 |
John Whitington
|
1d43118a09
|
more
|
2022-12-15 14:20:41 +00:00 |
John Whitington
|
bd4e4df3a0
|
Separate cpdfdraw out
|
2022-12-15 12:41:19 +00:00 |
John Whitington
|
41de2ec025
|
more
|
2022-12-08 20:34:26 +00:00 |
John Whitington
|
6c068d96d7
|
more
|
2022-12-02 17:14:09 +00:00 |
John Whitington
|
88970eacc8
|
more
|
2022-12-02 15:33:54 +00:00 |
John Whitington
|
e8aa935aa8
|
More on drawing
|
2022-12-01 17:21:13 +00:00 |
John Whitington
|
7e5aeb3f33
|
Starting on -draw
|
2022-11-28 16:11:07 +00:00 |
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 |
John Whitington
|
c6df45109e
|
Added range to -list-fonts
|
2021-11-03 16:51:28 +00: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
|
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
|
66e4224872
|
Merge branch 'master' of ssh://github.com/johnwhitington/cpdf-source
|
2021-10-28 15:34:13 +01:00 |
John Whitington
|
3ed74079c8
|
more
|
2021-10-28 15:34:03 +01:00 |
John Whitington
|
d4ae95f361
|
labels
|
2021-10-27 20:15:05 +01:00 |
John Whitington
|
e918630ea4
|
beginning JSON annotations
|
2021-10-27 18:55:52 +01:00 |
John Whitington
|
e3abffb21c
|
Beginning -add-bookmarks-json
|
2021-10-27 11:44:30 +01:00 |
John Whitington
|
5708d25255
|
Added -list-bookmarks-json
|
2021-10-26 19:41:14 +01:00 |
John Whitington
|
3bf5218670
|
more
|
2021-10-26 17:32:36 +01:00 |
John Whitington
|
609943e78c
|
more
|
2021-10-26 16:18:09 +01:00 |
John Whitington
|
ee1f712ad2
|
linewidth
|
2021-10-26 15:09:07 +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
|
b1349c0b7e
|
Imposition first go
|
2021-10-19 16:18:15 +01:00 |
John Whitington
|
73dba40576
|
more
|
2021-10-18 18:33:52 +01:00 |
John Whitington
|
66e3d3aa1a
|
Apparatus for imposition
|
2021-10-18 18:19:59 +01:00 |
John Whitington
|
b70615ec16
|
more
|
2021-10-18 16:22:38 +01:00 |
John Whitington
|
c4768c9a92
|
more
|
2021-10-18 14:57:40 +01:00 |
John Whitington
|
2b3be7890b
|
Collation
|
2021-10-16 15:47:41 +01:00 |
John Whitington
|
c9bd93e42e
|
more
|
2021-10-15 17:36:11 +01:00 |
John Whitington
|
a5c3574794
|
demo gone
|
2021-10-15 17:18:23 +01:00 |
John Whitington
|
a0ca312f6e
|
more
|
2021-10-14 20:28:43 +01:00 |
John Whitington
|
2859f9e4ef
|
more
|
2021-10-12 18:58:37 +01:00 |
John Whitington
|
d11b6a97bb
|
more
|
2021-10-12 18:40:47 +01:00 |
John Whitington
|
ece1e9f280
|
more
|
2021-10-12 15:35:08 +01:00 |
John Whitington
|
14edc5a5db
|
option to uncompress json streams
|
2021-10-04 18:38:36 +01:00 |
John Whitington
|
268228df40
|
CSP code archived
|
2021-10-02 13:21:06 +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
|
d065fcede3
|
more
|
2021-09-28 14:15:10 +01:00 |
John Whitington
|
c79bf14158
|
Fix Ocaml 4.13 warning
|
2021-09-27 16:49:00 +01:00 |