John Whitington
							
						 
					 | 
					
						
						
							
						
						39f5ec1bf3
					 | 
					
						
						
							
							Duplicate PNG/JPEG/JBIG2 problem fixed
						
						
						
						
						
						
					 | 
					
						2023-12-05 12:20:03 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						eefbb4f315
					 | 
					
						
						
							
							JBIG2 extraction done
						
						
						
						
						
						
					 | 
					
						2023-12-04 11:19:17 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						d3449af2c0
					 | 
					
						
						
							
							More progress on -chop
						
						
						
						
						
						
					 | 
					
						2023-11-20 13:29:17 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						57be1bc127
					 | 
					
						
						
							
							Changes
						
						
						
						
						
						
					 | 
					
						2023-11-15 16:55:06 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						0bacdc98cc
					 | 
					
						
						
							
							Changes
						
						
						
						
						
						
					 | 
					
						2023-11-14 14:47:01 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						53e3d92a81
					 | 
					
						
						
							
							Scaffolding for -list-images
						
						
						
						
						
						
					 | 
					
						2023-11-13 17:55:59 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						1fe0c33924
					 | 
					
						
						
							
							Changes
						
						
						
						
						
						
					 | 
					
						2023-11-09 18:39:48 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						8a1fdc23a4
					 | 
					
						
						
							
							Rehabilitate -extract-font
						
						
						
						
						
						
					 | 
					
						2023-11-02 18:49:15 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						fcbdcaa11e
					 | 
					
						
						
							
							Changes
						
						
						
						
						
						
					 | 
					
						2023-11-01 16:16:22 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						e6c718f367
					 | 
					
						
						
							
							Scaffolding for extended JSON outputs
						
						
						
						
						
						
					 | 
					
						2023-10-31 15:50:23 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						7a9c0f457f
					 | 
					
						
						
							
							more
						
						
						
						
						
						
					 | 
					
						2023-10-30 17:58:59 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						6b640a128d
					 | 
					
						
						
							
							Beginnings of SplitMax
						
						
						
						
						
						
					 | 
					
						2023-10-26 13:46:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						652044235f
					 | 
					
						
						
							
							Changes
						
						
						
						
						
						
					 | 
					
						2023-09-19 13:43:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						d8e9ec079c
					 | 
					
						
						
							
							more
						
						
						
						
						
						
					 | 
					
						2023-09-06 14:11:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						e574f14a97
					 | 
					
						
						
							
							update changes
						
						
						
						
						
						
					 | 
					
						2023-08-15 17:59:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						b70c25a006
					 | 
					
						
						
							
							Change -font-ttf to -load-ttf
						
						
						
						
						
						
					 | 
					
						2023-07-26 14:20:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						44b51ceb03
					 | 
					
						
						
							
							Final manual / release dates for v2.6
						
						
						
						
						
						
					 | 
					
						2023-07-24 12:38:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						55b94b069f
					 | 
					
						
						
							
							Generalize fonts
						
						
						
						
						
						
					 | 
					
						2023-07-12 12:51:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						2ca9bec778
					 | 
					
						
						
							
							-> 2.6
						
						
						
						
						
						
					 | 
					
						2023-06-20 16:48:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						f7afbb614f
					 | 
					
						
						
							
							Tidying up
						
						
						
						
						
						
					 | 
					
						2023-06-20 15:31:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						c5d26da60e
					 | 
					
						
						
							
							Colours added
						
						
						
						
						
						
					 | 
					
						2023-06-07 16:37:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						2f81039cba
					 | 
					
						
						
							
							more
						
						
						
						
						
						
					 | 
					
						2023-05-08 15:13:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						25732b9208
					 | 
					
						
						
							
							more
						
						
						
						
						
						
					 | 
					
						2023-05-04 18:57:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						833e60e270
					 | 
					
						
						
							
							more
						
						
						
						
						
						
					 | 
					
						2023-03-24 15:23:33 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						a50f9e22b2
					 | 
					
						
						
							
							more
						
						
						
						
						
						
					 | 
					
						2023-03-15 21:00:34 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						030d1c7018
					 | 
					
						
						
							
							more
						
						
						
						
						
						
					 | 
					
						2023-03-14 18:36:37 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						8a82a59295
					 | 
					
						
						
							
							more
						
						
						
						
						
						
					 | 
					
						2023-03-13 21:29:24 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						c532281c81
					 | 
					
						
						
							
							more
						
						
						
						
						
						
					 | 
					
						2023-03-06 15:46:30 +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
							
						 
					 | 
					
						
						
							
						
						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 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |