source: Deliverables/D4.1/Matita @ 550

Name Size Rev Age Author Last Change
../
new-matita-development 475   9 years mulligan Matita interpreter ported to latest version of matita (the one with …
Arithmetic.ma 6.8 KB 465   9 years mulligan Moved over to standard library.
ASM.ma 8.5 KB 465   9 years mulligan Moved over to standard library.
Assembly.ma 28.9 KB 465   9 years mulligan Moved over to standard library.
BitVector.ma 6.8 KB 465   9 years mulligan Moved over to standard library.
BitVectorTrie.ma 2.7 KB 465   9 years mulligan Moved over to standard library.
Char.ma 604 bytes 432   9 years mulligan Removed Plogic/
Debug.ma 450 bytes 472   9 years mulligan More changes to debug and testing files to get them to work with the …
depends 809 bytes 472   9 years mulligan More changes to debug and testing files to get them to work with the …
DoTest.ma 12.2 KB 472   9 years mulligan More changes to debug and testing files to get them to work with the …
Fetch.ma 20.3 KB 465   9 years mulligan Moved over to standard library.
Interpret.ma 28.0 KB 470   9 years mulligan Finished moving development over to standard library.
README 641 bytes 431   9 years mulligan - README updated - Test and DoTest? fixed to work on assembly_program - …
root 35 bytes 432   9 years mulligan Removed Plogic/
Status.ma 34.8 KB 465   9 years mulligan Moved over to standard library.
String.ma 84 bytes 465   9 years mulligan Moved over to standard library.
Test.ma 7.1 KB 465   9 years mulligan Moved over to standard library.
Util.ma 4.1 KB 465   9 years mulligan Moved over to standard library.
Vector.ma 14.1 KB 465   9 years mulligan Moved over to standard library.
Note: See TracBrowser for help on using the repository browser.