source: Deliverables/D4.1/Matita @ 526

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