source:
src
@
1521
Name  Size  Rev  Age  Author  Last Change 

../  
ASM  1521  9 years  Syntax change in Matita: change what where => change where what.  
Clight  1521  9 years  Syntax change in Matita: change what where => change where what.  
Cminor  1521  9 years  Syntax change in Matita: change what where => change where what.  
common  1516  9 years  Ported to syntax of Matita 0.99.1.  
ERTL  1515  9 years  Add type of maps on positive binary numbers, and use them for …  
joint  1521  9 years  Syntax change in Matita: change what where => change where what.  
LIN  1520  9 years  Generate cost labels with correct type.  
LTL  1515  9 years  Add type of maps on positive binary numbers, and use them for …  
RTL  1516  9 years  Ported to syntax of Matita 0.99.1.  
RTLabs  1521  9 years  Syntax change in Matita: change what where => change where what.  
utilities  1521  9 years  Syntax change in Matita: change what where => change where what.  
accmatitaprinters.patch  7.3 KB  1158  9 years  Record patch needed to use matita pretty printers with acc.  
CHANGES  3.4 KB  1388  9 years  fetch_result implemented for ERTL. This required a different …  
root  26 bytes  703  10 years  lib is now the default standard library (after commit 11216 in …  
TODO  606 bytes  1457  9 years  Bug fixed: when calling an internal function, the pc block is now set … 

Note: See TracBrowser
for help on using the repository browser.