source: src/RTLabs @ 1629

Name Size Rev Age Author Last Change
../
test 1226   10 years campbell Adjust pretty printers for change in program records, try a test of each.
debug.ma 1.8 KB 797   10 years campbell Add error messages wherever the error monad is used. Sticks to …
import.ma 6.9 KB 1612   10 years sacerdot All library ported to new Matita lib (finally).
RTLabsMatitaPrinter.ml 9.7 KB 1226   10 years campbell Adjust pretty printers for change in program records, try a test of each.
RTLabsToRTL.ma 47.5 KB 1601   10 years sacerdot Files ported to new version of the standard library.
semantics.ma 13.7 KB 1601   10 years sacerdot Files ported to new version of the standard library.
syntax.ma 3.2 KB 1626   10 years campbell Add extra type safety in front end. NB: critical freshness parts …
Traces.ma 23.9 KB 1617   10 years campbell Note stuff to do on structured traces.
Note: See TracBrowser for help on using the repository browser.