John Whitington
							
						 
					 | 
					
						
						
							
						
						38f6502e19
					 | 
					
						
						
							
							First stab at -hard-box
						
						
						
						
						
						
							
						
					 | 
					
						2017-05-19 19:10:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						5379978d16
					 | 
					
						
						
							
							Manual
						
						
						
						
						
						
							
						
					 | 
					
						2017-04-05 18:18:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						7bdec3fd59
					 | 
					
						
						
							
							Restore ability to compile with OCaml 3.11.2
						
						
						
						
						
						
							
 v2.2.1
						
					 | 
					
						2017-01-19 13:27:42 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						7d11cbcce7
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-16 18:09:04 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						baa705f161
					 | 
					
						
						
							
							done v2.2
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-16 18:08:37 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						9c2d7ffd01
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-15 19:52:57 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						10697816c0
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-15 19:28:02 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						d54d08f1b4
					 | 
					
						
						
							
							mroe
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-15 19:08:26 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						056ccbadca
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-15 19:00:42 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						d88d279118
					 | 
					
						
						
							
							Manual conversion finished
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-15 18:46:40 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						10b7002626
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-14 20:02:53 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						070da743b3
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-14 18:37:57 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						6be1b2c761
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-12 19:55:04 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						4a1990c4ac
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-12 19:53:59 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						b3aeff2e26
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-12 19:53:46 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						74e1d6a69c
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-11 20:50:20 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						8987008a4e
					 | 
					
						
						
							
							more automation
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-10 19:54:09 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						545d777fd8
					 | 
					
						
						
							
							Beginning html manual
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-10 19:52:57 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						37bb153a49
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
 v2.2
						
					 | 
					
						2017-01-08 18:45:15 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						8d1ee91bd2
					 | 
					
						
						
							
							mroe
						
						
						
						
						
						
							
						
					 | 
					
						2017-01-04 20:51:27 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						b7807f8a94
					 | 
					
						
						
							
							Decompress now non-lazy. Otherwise, deferred decryption fails due to
						
						
						
						
						
						
						
						modification of object map inside iter. 
						
						
							
						
					 | 
					
						2017-01-04 17:52:14 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						b25bcdca12
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2016-12-31 14:57:13 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						9c71623d35
					 | 
					
						
						
							
							Fixed all Pdfpage.change_pages except for merge
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-28 12:23:45 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						0298f30ae5
					 | 
					
						
						
							
							Fixed -pad-after and friends to pass changes to new Pdfpage.change_pages
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-27 17:41:17 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						e92fdeafef
					 | 
					
						
						
							
							Continuing with audit and fixes for used of Pdfpage.change_pages
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-27 15:39:19 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						060ae4d851
					 | 
					
						
						
							
							More sensible combine_pages done
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-25 17:38:19 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						a0446f7f1c
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-24 19:10:53 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						79e03887bf
					 | 
					
						
						
							
							Use special mode in Pdf.change_pages for combine_pages
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-24 16:11:32 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						83248d9557
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-17 18:42:40 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						3437748bc9
					 | 
					
						
						
							
							Began work on merging annotations in do_stamp
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-15 19:25:20 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						2ec3f672c0
					 | 
					
						
						
							
							New xmlm
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-13 18:04:13 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						2caa9de061
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-13 18:01:01 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						a395681efb
					 | 
					
						
						
							
							Documenting -add-rectangle done
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-13 16:51:50 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						a973e622ae
					 | 
					
						
						
							
							Add-rectangle finished
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-13 16:36:37 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						ed9f7680ca
					 | 
					
						
						
							
							Work on rectangle positioning
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-13 16:22:21 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						9d34594f13
					 | 
					
						
						
							
							Added %ExtractedText
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-13 14:02:09 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						c7accd12c8
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-12 18:18:20 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						693f5bb135
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-11 19:24:45 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						9224b2883e
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-10 15:03:34 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						1e6e63daba
					 | 
					
						
						
							
							Change_font_size implemented
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-10 13:54:49 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						70413d6727
					 | 
					
						
						
							
							More work on -change-font-size
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-09 19:12:05 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						6dc94e0c3c
					 | 
					
						
						
							
							Began on -change-font-size-to
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-09 18:15:23 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						f6e158ee07
					 | 
					
						
						
							
							Beginning of -remove-clipping
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-09 15:42:47 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						796f6afb66
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-08 19:05:22 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						f34d72ad10
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-08 18:15:04 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						1fdd55bf8f
					 | 
					
						
						
							
							Changes to manual for v2.2 done, pending the final bug fixes
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-06 13:53:51 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						537d349997
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-06 12:57:46 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						c008aa70d2
					 | 
					
						
						
							
							Manual work for v2.2
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-05 20:02:06 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						e02d982f15
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-05 16:32:39 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								John Whitington
							
						 
					 | 
					
						
						
							
						
						61cb073ef5
					 | 
					
						
						
							
							more
						
						
						
						
						
						
							
						
					 | 
					
						2016-11-04 16:46:08 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |