Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						68c072a49e 
					 
					
						
						
							
							Proof IMU_CALIBRATION_AND_ALIGNMENT  #211  ( #402 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(pp. 0423-0425): Proof IMU_CALIBRATION_AND_ALIGNMENT #211 
* done(pp. 0423-0455): Proof IMU_CALIBRATION_AND_ALIGNMENT #211  
						
						
					 
					
						2019-09-11 18:22:23 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						73de5c1b3a 
					 
					
						
						
							
							Proof FRESH_START_AND_RESTART  #208  ( #401 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(pp. 0181-0185): Proof FRESH_START_AND_RESTART #208 
* done(pp. 0181-0210): Proof FRESH_START_AND_RESTART #208  
						
						
					 
					
						2019-09-02 16:11:25 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						bb960aed7d 
					 
					
						
						
							
							Proof P11  #230  ( #390 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(p550/550: DONE): Proof P11 #230 
* Remove patch line for the simulator 
						
						
					 
					
						2019-07-21 18:04:41 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						16ffeaeb08 
					 
					
						
						
							
							Proof TVCROLLDAP  #271  ( #398 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(pp. 0984-0985): Proof TVCROLLDAP #271 
* done(pp. 0984-0998): Proof TVCROLLDAP #271 
* fix: change back "B-10 (simulator patch) to "B+4" (original GAP printouts) 
						
						
					 
					
						2019-07-19 23:18:51 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						55bff79224 
					 
					
						
						
							
							Proof P30-P37  #232  ( #391 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(p636/648): Proof P30-P37 #232 
* wip(p645/648): Proof P30-P37 #232 
* done(p648/648): Proof P30-P37 #232  
						
						
					 
					
						2019-07-19 11:18:31 +01:00 
						 
				 
			
				
					
						
							
							
								Victhor Simões Sartório 
							
						 
					 
					
						
						
							
						
						3913f198f4 
					 
					
						
						
							
							P61 mismatch with scan on page 789 ( #413 )  
						
						... 
						
						
						
						This fixes a mismatch compared with the scanned [page 789](https://www.ibiblio.org/apollo/ScansForConversion/Comanche055/0789.jpg ). 
						
						
					 
					
						2019-07-18 14:38:20 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						caab199e04 
					 
					
						
						
							
							Proof PINBALL_NOUN_TABLES  #242  ( #392 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(p272/284): Proof PINBALL_NOUN_TABLES #242 
* done(p284/284): Proof PINBALL_NOUN_TABLES #242  
						
						
					 
					
						2019-07-15 21:37:51 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						5fac70b6a0 
					 
					
						
						
							
							Proof RCS-CSM_DIGITAL_AUTOPILOT  #249  ( #393 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(p1002/1024): Proof RCS-CSM_DIGITAL_AUTOPILOT #249 
* done(p1024/1024): Proof RCS-CSM_DIGITAL_AUTOPILOT #249  
						
						
					 
					
						2019-07-15 21:37:08 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						5c42d61698 
					 
					
						
						
							
							Proof SERVICER207  #255  ( #394 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(p820/836): Proof SERVICER207 #255 
* done(p836/836): Proof SERVICER207 #255  
						
						
					 
					
						2019-06-16 16:07:18 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						8499a3e178 
					 
					
						
						
							
							Proof SXTMARK  #260  ( #395 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* done(pp. 0222-0235): Proof SXTMARK #260  
						
						
					 
					
						2019-06-15 09:53:33 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						1fd3c9548c 
					 
					
						
						
							
							Proof TVCDAPS  #266  ( #397 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(pp. 0961-0965): Proof TVCDAPS #266 
* done(pp. 0961-0978): Proof TVCDAPS #266  
						
						
					 
					
						2019-05-12 13:07:28 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						80d781c20e 
					 
					
						
						
							
							Proof ORBITAL_INTEGRATION  #229  ( #389 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(p1338/1354: DONE): Proof ORBITAL_INTEGRATION #229 
* wip(p1354/1354: DONE): Proof ORBITAL_INTEGRATION #229  
						
						
					 
					
						2019-05-11 19:46:35 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						c1421dfa88 
					 
					
						
						
							
							Proof JET_SELECTION_LOGIC  #220  ( #388 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(p1041/1062): Proof JET_SELECTION_LOGIC #220 
* wip(p1062/1062: DONE): Proof JET_SELECTION_LOGIC #220  
						
						
					 
					
						2019-05-09 05:40:19 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						9d2f8c04ab 
					 
					
						
						
							
							Proof TPI_SEARCH  #265  ( #387 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* Proof TPI_SEARCH #265  
						
						
					 
					
						2019-05-09 00:17:48 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						e82746d732 
					 
					
						
						
							
							Proof R60_62  #247  ( #386 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(p391/398): Proof R60_62 #247 
* wip(p398/398: DONE): Proof R60_62 #247  
						
						
					 
					
						2019-05-08 19:41:36 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						4f83a11ecb 
					 
					
						
						
							
							Proof POWERED_FLIGHT_SUBROUTINES  #244  ( #385 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* Proof POWERED_FLIGHT_SUBROUTINES #244  
						
						
					 
					
						2019-05-08 18:55:15 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						496453a615 
					 
					
						
						
							
							Proof PLANETARY_INERTIAL_ORIENTATION  #243  ( #384 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(p1245/1251): Proof PLANETARY_INERTIAL_ORIENTATION #243 
* wip(p1251/1251: DONE): Proof PLANETARY_INERTIAL_ORIENTATION #243  
						
						
					 
					
						2019-05-08 14:33:31 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						ef28aacc4f 
					 
					
						
						
							
							Proof PHASE_TABLE_MAINTENANCE  #240  (pp. 1409-1413) ( #383 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* (pp. 1409-1413: DONE): Proof PHASE_TABLE_MAINTENANCE #240  
						
						
					 
					
						2019-05-02 15:13:37 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						77155ed107 
					 
					
						
						
							
							Proof LATITUDE_LONGITUDE_SUBROUTINES  #223  ( #382 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(p1236/1242): Proof LATITUDE_LONGITUDE_SUBROUTINES #223 
* wip(p1242/1242: DONE): Proof LATITUDE_LONGITUDE_SUBROUTINES #223 
* wip(p1242/1242: polishing): Proof LATITUDE_LONGITUDE_SUBROUTINES #223 
* Update Comanche055/LATITUDE_LONGITUDE_SUBROUTINES.agc
Co-Authored-By: dwiyatci <dwiyatci@mail.com >
* Update Comanche055/LATITUDE_LONGITUDE_SUBROUTINES.agc
Co-Authored-By: dwiyatci <dwiyatci@mail.com >
* Update Comanche055/LATITUDE_LONGITUDE_SUBROUTINES.agc
Co-Authored-By: dwiyatci <dwiyatci@mail.com > 
						
						
					 
					
						2019-05-02 15:11:42 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						2599c17241 
					 
					
						
						
							
							Proof ENTRY_LEXICON  #203  ( #381 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(p838/843): Proof ENTRY_LEXICON #203 
* wip(843/843: DONE): Proof ENTRY_LEXICON #203  
						
						
					 
					
						2019-05-02 15:06:26 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						98faa4c43d 
					 
					
						
						
							
							Proof DOWN-TELEMETRY_PROGRAM  #201  ( #380 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* wip(p1094/1102): Proof DOWN-TELEMETRY_PROGRAM #201 
* wip(p1097/1102): Proof DOWN-TELEMETRY_PROGRAM #201 
* wip(p1102/1102: DONE): Proof DOWN-TELEMETRY_PROGRAM #201  
						
						
					 
					
						2019-05-02 15:04:08 +01:00 
						 
				 
			
				
					
						
							
							
								cai 
							
						 
					 
					
						
						
							
						
						20fcfb0938 
					 
					
						
						
							
							Proof DISPLAY_INTERFACE_ROUTINES  #200  ( #377 )  
						
						... 
						
						
						
						* Proof DISPLAY_INTERFACE_ROUTINES #200  11/34
* 24/33
* done DISPLAY_INTERFACE_ROUTINES 
						
						
					 
					
						2019-04-15 21:30:28 +01:00 
						 
				 
			
				
					
						
							
							
								cai 
							
						 
					 
					
						
						
							
						
						df1dd7cf58 
					 
					
						
						
							
							Proof RESTART_TABLES( #252 ) ( #376 )  
						
						... 
						
						
						
						* Proof P76
* 1) comma instead of period
2) -- to -
3) remove space after comma
* Proof RESTART_TABLES 
						
						
					 
					
						2019-03-27 16:09:45 +00:00 
						 
				 
			
				
					
						
							
							
								Penny Player 
							
						 
					 
					
						
						
							
						
						bba5c45c0f 
					 
					
						
						
							
							Proof RT8_OP_CODES ( #374 )  
						
						... 
						
						
						
						Closes  #253  
					
						2019-02-12 23:02:55 +00:00 
						 
				 
			
				
					
						
							
							
								Tim Joosten 
							
						 
					 
					
						
						
							
						
						53a5da8b42 
					 
					
						
						
							
							Proof read  #245  ( closes   #370 )  
						
						... 
						
						
						
						Hi @chrislgarry @wopian
PR for #245  
I've proof read the R30.agc file. And fixed several things.
PS: Each commit stand for an page. So you can cherry pick the fixes u needed.
If there are things still missing plz ping me to correct or add them. 
Kind Regards,
Tim Joosten 
						
						
					 
					
						2019-01-25 03:31:22 +00:00 
						 
				 
			
				
					
						
							
							
								Tim Joosten 
							
						 
					 
					
						
						
							
						
						ecc339601d 
					 
					
						
						
							
							Proof read  #214 : INFLIGHT_ALIGNMENT_ROUTINES ( #369 )  
						
						... 
						
						
						
						* Proof: INFLIGHT_ALIGNMENT_ROUTINES.agc - P1355
Removed an unnecessarily space
SEE: https://git.io/fhgW4 
SEE: https://bit.ly/2HrJTu0  R0007
[SIGNED OFF]: Tim Joosten
* Proof: INFLIGHT_ALIGNMENT_ROUTINES.agc - P1355
Replaced the word TORQUE with TORQUING and replaced dots woth comma's
SEE: https://git.io/fhglL 
SEE: https://bit.ly/2HrJTu0  R0010
[SIGNED OFF]: Tim Joosten
* Proof: INFLIGHT_ALIGNMENT_ROUTINES.agc - P1335
Applied several fixes on R0015.
SEE: https://bit.ly/2HrJTu0  R0015
[SIGNED OFF]: Tim Joosten
* Proof: INFLIGHT_ALIGNMENt_ROUTINES.agc - P1357
Remove unnecessarily space.
SEE: https://git.io/fhglb 
SEE: https://bit.ly/2AU79v6  R0057
[SIGNED OFF]: Tim Joosten
* Proof: INFLIGHT_ALIGNMENT_ROUTINES.agc - P1359
Removed unnecessarily space
SEE: https://bit.ly/2RZ7WV9  R0092
SEE: https://git.io/fhg8z 
[SIGNED OFF]: Tim Joosten
* Proof: INFLIGT_ALIGNMENT_ROUTINES.agc - P1359
Add missing space.
SEE: https://git.io/fhg8P 
SEE: https://bit.ly/2RZ7WV9  R0099
[SIGNED OFF]: Tim Joosten
* Proof: INFLIGHT_ALIGNMENT_ROUTINES.agc - P1361
Add missing space
SEE: https://git.io/fhg4t 
SEE: https://bit.ly/2FNoOb6  R0165
[SIGNED OFF]: Tim Joosten
* revert , -> . on line 42 
						
						
					 
					
						2019-01-22 00:23:10 +00:00 
						 
				 
			
				
					
						
							
							
								Thomas Danner 
							
						 
					 
					
						
						
							
						
						f7f8dbc625 
					 
					
						
						
							
							Proof CONIC_SUBROUTINES  
						
						
						
						
					 
					
						2018-12-28 12:42:00 -06:00 
						 
				 
			
				
					
						
							
							
								James Buckley 
							
						 
					 
					
						
						
							
						
						2e30258105 
					 
					
						
						
							
							Proof MEASUREMENT_INCORPORATION ( #358 )  
						
						... 
						
						
						
						Closes  #227 , covers pages 1252 to 1261 
					
						2018-11-13 16:12:24 +00:00 
						 
				 
			
				
					
						
							
							
								Felix Wittwer 
							
						 
					 
					
						
						
							
						
						c3f93c3ccf 
					 
					
						
						
							
							Proof read TAGS_FOR_RELATIVE_SETLOC ( #357 )  
						
						... 
						
						
						
						There was not much to fix in this part of the code except for a few comment fixes. But I am unsure as to whether the [subroutine calls on page 36](http://www.ibiblio.org/apollo/ScansForConversion/Comanche055/0036.jpg ) were left out intentionally or are just missing. Should they be added?
EDIT: Also, this closes  #263  
						
						
					 
					
						2018-10-23 09:35:17 +01:00 
						 
				 
			
				
					
						
							
							
								cai 
							
						 
					 
					
						
						
							
						
						2bcb943ee9 
					 
					
						
						
							
							Proof EXECUTIVE ( closes   #205 ) ( #354 )  
						
						... 
						
						
						
						* Proof EXECUTIVE #354  
* Use full stop. 
						
						
					 
					
						2018-10-09 09:16:45 +01:00 
						 
				 
			
				
					
						
							
							
								Deven Blake 
							
						 
					 
					
						
						
							
						
						5f3133afd5 
					 
					
						
						
							
							Update PHASE_TABLE_MAINTENANCE.agc ( #351 )  
						
						
						
						
					 
					
						2018-09-27 16:55:31 +01:00 
						 
				 
			
				
					
						
							
							
								Deven Blake 
							
						 
					 
					
						
						
							
						
						1f20c9ec6a 
					 
					
						
						
							
							Proofreading of page 1407 ( #350 )  
						
						... 
						
						
						
						Not much wrong, changed some minor errors. Proofreading when I have time. 
						
						
					 
					
						2018-09-27 16:53:00 +01:00 
						 
				 
			
				
					
						
							
							
								Deven Blake 
							
						 
					 
					
						
						
							
						
						88d243ba8f 
					 
					
						
						
							
							Corrections to page 1406 ( #349 )  
						
						
						
						
					 
					
						2018-09-26 18:10:03 +01:00 
						 
				 
			
				
					
						
							
							
								Deven Blake 
							
						 
					 
					
						
						
							
						
						f5c57c9946 
					 
					
						
						
							
							Correction: see page 1404 line 0032 ( #348 )  
						
						... 
						
						
						
						Possible correction: see page 1404 line 0032 
						
						
					 
					
						2018-09-24 15:37:03 +01:00 
						 
				 
			
				
					
						
							
							
								Connor Roizman 
							
						 
					 
					
						
						
							
						
						ef8224fbe0 
					 
					
						
						
							
							Proof TVCINITIALIZE  
						
						
						
						
					 
					
						2018-08-03 07:38:42 -04:00 
						 
				 
			
				
					
						
							
							
								James Harris 
							
						 
					 
					
						
						
							
						
						8758a99662 
					 
					
						
						
							
							Restore ERRASIBLE in WAITLIST.agc  
						
						
						
						
					 
					
						2018-07-24 10:37:55 +01:00 
						 
				 
			
				
					
						
							
							
								Adam Pianka 
							
						 
					 
					
						
						
							
						
						e9eaa3e252 
					 
					
						
						
							
							Update README references to point to repository files on master branch ( #345 )  
						
						
						
						
					 
					
						2018-07-19 03:28:18 +01:00 
						 
				 
			
				
					
						
							
							
								cai 
							
						 
					 
					
						
						
							
						
						8bb44091be 
					 
					
						
						
							
							proof IMU_COMPENSATION_PACKAGE ( #343 ,  closes   #212 )  
						
						
						
						
					 
					
						2018-07-18 23:10:17 +01:00 
						 
				 
			
				
					
						
							
							
								cai 
							
						 
					 
					
						
						
							
						
						b47cb532c2 
					 
					
						
						
							
							Proof CM_ENTRY_DIGITAL_AUTOPILOT ( #340 ,  closes   #196 )  
						
						... 
						
						
						
						Proof CM_ENTRY_DIGITAL_AUTOPILOT (closes  #196 ) 
						
						
					 
					
						2018-07-18 23:08:49 +01:00 
						 
				 
			
				
					
						
							
							
								cai 
							
						 
					 
					
						
						
							
						
						3a9b000cb4 
					 
					
						
						
							
							Proof ASSEMBLY_AND_OPERATION_INFORMATION ( #337 )  
						
						
						
						
					 
					
						2018-07-18 22:57:24 +01:00 
						 
				 
			
				
					
						
							
							
								cai 
							
						 
					 
					
						
						
							
						
						27e2acf88a 
					 
					
						
						
							
							Proof DOWNLINK_LISTS ( #202 ) ( #341 )  
						
						... 
						
						
						
						* Proof DOWNLINK_LISTS
* typo about ERASABLE
* keep `ERRASIBLE` 
						
						
					 
					
						2018-06-09 11:03:11 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						00444f654f 
					 
					
						
						
							
							Proof CM_BODY_ATTITUDE ( #195 ) ( #336 )  
						
						... 
						
						
						
						🕵️  Proofread #195  
					
						2018-05-28 14:42:47 +01:00 
						 
				 
			
				
					
						
							
							
								cai 
							
						 
					 
					
						
						
							
						
						624a548983 
					 
					
						
						
							
							Proof ANGLFIND ( #192 ) ( #339 )  
						
						
						
						
					 
					
						2018-05-28 14:41:55 +01:00 
						 
				 
			
				
					
						
							
							
								Chris Garry 
							
						 
					 
					
						
						
							
						
						be9b33edb1 
					 
					
						
						
							
							Merge pull request  #329  from chrislgarry/feat/improve-attribution  
						
						... 
						
						
						
						Convert Attribution code block to tables 
						
						
					 
					
						2018-05-28 16:42:25 +09:00 
						 
				 
			
				
					
						
							
							
								cai 
							
						 
					 
					
						
						
							
						
						95475a353e 
					 
					
						
						
							
							Proof WAITLIST ( #274 ) ( #330 )  
						
						... 
						
						
						
						Proof WAITLIST (#274 ) 
						
						
					 
					
						2018-05-28 03:03:11 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						4e0940e275 
					 
					
						
						
							
							Proof CSM_GEOMETRY ( #199 ) ( #338 )  
						
						... 
						
						
						
						🕵️  Proofread #199  
					
						2018-05-25 20:37:33 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						eaec0f796b 
					 
					
						
						
							
							Proof AUTOMATIC_MANEUVERS ( #194 ) ( #335 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* Proof AUTOMATIC_MANEUVERS (#194 ) 
						
						
					 
					
						2018-05-25 20:30:28 +01:00 
						 
				 
			
				
					
						
							
							
								Glenn Dwiyatcita 
							
						 
					 
					
						
						
							
						
						ffcfaf5d51 
					 
					
						
						
							
							Proof TVCMASSPROP ( #269 ) ( #326 )  
						
						... 
						
						
						
						* Proof FIXED_FIXED_CONSTANT_POOL (#207 )
* Proof TVCMASSPROP (#269 )
* Revert the leading and trailing line breaks of the page comment "# Page ppp" as they were (#269 )
* Fix typo: AMMNDMENT -> AMENDMENT [p952] 
						
						
					 
					
						2018-05-01 09:54:58 -05:00 
						 
				 
			
				
					
						
							
							
								cai 
							
						 
					 
					
						
						
							
						
						a6693fd688 
					 
					
						
						
							
							Proof RESTARTS_ROUTINE ( #251 ) ( #327 )  
						
						... 
						
						
						
						Proof RESTARTS_ROUTINE (closes  #251 ) 
						
						
					 
					
						2018-04-23 15:32:55 +01:00 
						 
				 
			
				
					
						
							
							
								Abdullah Alhazmy 
							
						 
					 
					
						
						
							
						
						b66290c2e6 
					 
					
						
						
							
							Proof AGC_BLOCK_TWO_SELF-CHECK ( #331 )  
						
						... 
						
						
						
						Closes  #190  
					
						2018-04-21 16:51:25 +01:00