kjodle/Apollo-11
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
b13b2ae0a4
Apollo-11/Comanche055
History
Enguerrand des Vaux b13b2ae0a4 Proof CONTRACT_AND_APPROVALS (#284) 
* Update CONTRACT_AND_APPROVALS.agc

* add missing stars

* align start of line

* minor change

* minor change

* minor fix

* minor fix

* final fix for line

* replace tabl by space

* typo

* align date

* Restore hard 8 tabs & final corrections

* Remove rogue .
2017-02-22 04:33:45 +00:00
..
AGC_BLOCK_TWO_SELF-CHECK.agc Merge upstream 2016-07-15 00:25:07 +01:00
ALARM_AND_ABORT.agc Merge upstream 2016-07-15 00:25:07 +01:00
ANGLFIND.agc Merge upstream 2016-07-15 00:25:07 +01:00
ASSEMBLY_AND_OPERATION_INFORMATION.agc Merge upstream 2016-07-15 00:25:07 +01:00
AUTOMATIC_MANEUVERS.agc Trim whitespace 2016-12-28 16:11:25 +00:00
CM_BODY_ATTITUDE.agc Trim whitespace 2016-12-28 16:11:25 +00:00
CM_ENTRY_DIGITAL_AUTOPILOT.agc Trim whitespace 2016-12-28 16:11:25 +00:00
CONIC_SUBROUTINES.agc Trim whitespace 2016-12-28 16:11:25 +00:00
CONTRACT_AND_APPROVALS.agc Proof CONTRACT_AND_APPROVALS (#284) 2017-02-22 04:33:45 +00:00
CSM_GEOMETRY.agc Trim whitespace 2016-12-28 16:11:25 +00:00
DISPLAY_INTERFACE_ROUTINES.agc Trim whitespace 2016-12-28 16:11:25 +00:00
DOWN-TELEMETRY_PROGRAM.agc Trim whitespace 2016-12-28 16:11:25 +00:00
DOWNLINK_LISTS.agc Merge branch 'master' into rename 2016-07-13 18:02:59 +10:00
ENTRY_LEXICON.agc Trim whitespace 2016-12-28 16:11:25 +00:00
ERASABLE_ASSIGNMENTS.agc Trim whitespace 2016-12-28 16:11:25 +00:00
EXECUTIVE.agc Trim whitespace 2016-12-28 16:11:25 +00:00
EXTENDED_VERBS.agc Trim whitespace 2016-12-28 16:11:25 +00:00
FIXED_FIXED_CONSTANT_POOL.agc Trim whitespace 2016-12-28 16:11:25 +00:00
FRESH_START_AND_RESTART.agc Trim whitespace 2016-12-28 16:11:25 +00:00
GIMBAL_LOCK_AVOIDANCE.agc Proof GIMBAL_LOCK_AVOIDANCE (#283) 2017-02-15 17:18:22 +00:00
GROUND_TRACKING_DETERMINATION_PROGRAM.agc Trim whitespace 2016-12-28 16:11:25 +00:00
IMU_CALIBRATION_AND_ALIGNMENT.agc Trim whitespace 2016-12-28 16:11:25 +00:00
IMU_COMPENSATION_PACKAGE.agc Trim whitespace 2016-12-28 16:11:25 +00:00
IMU_MODE_SWITCHING_ROUTINES.agc Trim whitespace 2016-12-28 16:11:25 +00:00
INFLIGHT_ALIGNMENT_ROUTINES.agc Trim whitespace 2016-12-28 16:11:25 +00:00
INTEGRATION_INITIALIZATION.agc Trim whitespace 2016-12-28 16:11:25 +00:00
INTER-BANK_COMMUNICATION.agc Trim whitespace 2016-12-28 16:11:25 +00:00
INTERPRETER.agc Trim whitespace 2016-12-28 16:11:25 +00:00
INTERPRETIVE_CONSTANTS.agc Proof INTERPRETIVE_CONSTANTS (#282) 2017-02-15 17:06:44 +00:00
INTERRUPT_LEAD_INS.agc Trim whitespace 2016-12-28 16:11:25 +00:00
JET_SELECTION_LOGIC.agc Trim whitespace 2016-12-28 16:11:25 +00:00
KALCMANU_STEERING.agc Trim whitespace 2016-12-28 16:11:25 +00:00
KEYRUPT_UPRUPT.agc Trim whitespace 2016-12-28 16:11:25 +00:00
LATITUDE_LONGITUDE_SUBROUTINES.agc Trim whitespace 2016-12-28 16:11:25 +00:00
LUNAR_AND_SOLAR_EPHEMERIDES_SUBROUTINES.agc Trim whitespace 2016-12-28 16:11:25 +00:00
LUNAR_LANDMARK_SELECTION_FOR_CM.agc Update LUNAR_LANDMARK_SELECTION_FOR_CM.agc (#281) 2017-02-16 20:35:41 +00:00
MAIN.agc Trim whitespace 2016-12-28 16:11:25 +00:00
MEASUREMENT_INCORPORATION.agc Trim whitespace 2016-12-28 16:11:25 +00:00
MYSUBS.agc Proof MYSUBS (#280) 2017-02-14 10:14:38 +00:00
ORBITAL_INTEGRATION.agc Trim whitespace 2016-12-28 16:11:25 +00:00
P11.agc Trim whitespace 2016-12-28 16:11:25 +00:00
P20-P25.agc Trim whitespace 2016-12-28 16:11:25 +00:00
P30-P37.agc Trim whitespace 2016-12-28 16:11:25 +00:00
P32-P33_P72-P73.agc Trim whitespace 2016-12-28 16:11:25 +00:00
P34-35_P74-75.agc Trim whitespace 2016-12-28 16:11:25 +00:00
P37_P70.agc Trim whitespace 2016-12-28 16:11:25 +00:00
P40-P47.agc Trim whitespace 2016-12-28 16:11:25 +00:00
P51-P53.agc Trim whitespace 2016-12-28 16:11:25 +00:00
P61-P67.agc Trim whitespace 2016-12-28 16:11:25 +00:00
P76.agc Trim whitespace 2016-12-28 16:11:25 +00:00
PHASE_TABLE_MAINTENANCE.agc Trim whitespace 2016-12-28 16:11:25 +00:00
PINBALL_GAME_BUTTONS_AND_LIGHTS.agc Trim whitespace 2016-12-28 16:11:25 +00:00
PINBALL_NOUN_TABLES.agc Trim whitespace 2016-12-28 16:11:25 +00:00
PLANETARY_INERTIAL_ORIENTATION.agc Trim whitespace 2016-12-28 16:11:25 +00:00
POWERED_FLIGHT_SUBROUTINES.agc Trim whitespace 2016-12-28 16:11:25 +00:00
R30.agc Trim whitespace 2016-12-28 16:11:25 +00:00
R31.agc Trim whitespace 2016-12-28 16:11:25 +00:00
R60_62.agc Trim whitespace 2016-12-28 16:11:25 +00:00
RCS-CSM_DAP_EXECUTIVE_PROGRAMS.agc Proof RCS-CSM_DAP_EXECUTIVE_PROGRAMS (#279) 2017-02-14 10:21:55 +00:00
RCS-CSM_DIGITAL_AUTOPILOT.agc Trim whitespace 2016-12-28 16:11:25 +00:00
REENTRY_CONTROL.agc Trim whitespace 2016-12-28 16:11:25 +00:00
RESTART_TABLES.agc Merge branch 'master' into rename 2016-07-13 18:02:59 +10:00
RESTARTS_ROUTINE.agc Trim whitespace 2016-12-28 16:11:25 +00:00
RT8_OP_CODES.agc Trim whitespace 2016-12-28 16:11:25 +00:00
S-BAND_ANTENNA_FOR_CM.agc Trim whitespace 2016-12-28 16:11:25 +00:00
SERVICE_ROUTINES.agc Trim whitespace 2016-12-28 16:11:25 +00:00
SERVICER207.agc Trim whitespace 2016-12-28 16:11:25 +00:00
SINGLE_PRECISION_SUBROUTINES.agc Proof SINGLE_PRECISION_SUBROUTINES (#275) 2017-01-03 20:18:39 +00:00
STABLE_ORBIT.agc Trim whitespace 2016-12-28 16:11:25 +00:00
STAR_TABLES.agc Trim whitespace 2016-12-28 16:11:25 +00:00
SXTMARK.agc Trim whitespace 2016-12-28 16:11:25 +00:00
SYSTEM_TEST_STANDARD_LEAD_INS.agc Trim whitespace 2016-12-28 16:11:25 +00:00
T4RUPT_PROGRAM.agc Merge branch 'master' into rename 2016-07-13 18:02:59 +10:00
TAGS_FOR_RELATIVE_SETLOC.agc Trim whitespace 2016-12-28 16:11:25 +00:00
TIME_OF_FREE_FALL.agc Trim whitespace 2016-12-28 16:11:25 +00:00
TPI_SEARCH.agc Trim whitespace 2016-12-28 16:11:25 +00:00
TVCDAPS.agc Trim whitespace 2016-12-28 16:11:25 +00:00
TVCEXECUTIVE.agc Trim whitespace 2016-12-28 16:11:25 +00:00
TVCINITIALIZE.agc Trim whitespace 2016-12-28 16:11:25 +00:00
TVCMASSPROP.agc Trim whitespace 2016-12-28 16:11:25 +00:00
TVCRESTARTS.agc Trim whitespace 2016-12-28 16:11:25 +00:00
TVCROLLDAP.agc Trim whitespace 2016-12-28 16:11:25 +00:00
TVCSTROKETEST.agc Trim whitespace 2016-12-28 16:11:25 +00:00
UPDATE_PROGRAM.agc Trim whitespace 2016-12-28 16:11:25 +00:00
WAITLIST.agc Trim whitespace 2016-12-28 16:11:25 +00:00