Proof TVCROLLDAP #271 (#398) · chrislgarry/Apollo-11@16ffeae · GitHub

Commit

Proof TVCROLLDAP #271 (#398)

Browse files

* 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)

Loading branch information

dwiyatci authored and wopian committed Jul 19, 2019

1 parent f2be2c6 commit 16ffeae