|
Name
|
Size
|
Rev |
Age
|
Last Change |
|
../
|
|
ASM
|
|
1908
|
13 months
|
fguidi:
notation fixup following last commit of matita
we shifted the levels of …
|
|
Clight
|
|
1893
|
13 months
|
campbell:
Show stronger result about labelling of expressions.
|
|
Cminor
|
|
1884
|
13 months
|
campbell:
Syntax changes to fit Paolo's commit.
|
|
common
|
|
1908
|
13 months
|
fguidi:
notation fixup following last commit of matita
we shifted the levels of …
|
|
ERTL
|
|
1730
|
15 months
|
sacerdot:
Minor changes while studying the proof.
|
|
joint
|
|
1908
|
13 months
|
fguidi:
notation fixup following last commit of matita
we shifted the levels of …
|
|
LIN
|
|
1601
|
17 months
|
sacerdot:
Files ported to new version of the standard library.
|
|
LTL
|
|
1515
|
18 months
|
campbell:
Add type of maps on positive binary numbers, and use them for identifers.
…
|
|
RTL
|
|
1882
|
14 months
|
tranquil:
big update, alas incomplete:
joint changed a bit, and all BE languages …
|
|
RTLabs
|
|
1882
|
14 months
|
tranquil:
big update, alas incomplete:
joint changed a bit, and all BE languages …
|
|
utilities
|
|
1908
|
13 months
|
fguidi:
notation fixup following last commit of matita
we shifted the levels of …
|
|
acc-matita-printers.patch
|
7.1 KB |
1633
|
17 months
|
campbell:
Update Cminor pretty printer and examples.
|
|
CHANGES
|
3.4 KB |
1388
|
19 months
|
sacerdot:
fetch_result implemented for ERTL. This required a different istantiation …
|
|
root
|
26 bytes |
703
|
2 years
|
sacerdot:
lib is now the default standard library (after commit 11216 in Matita). …
|
|
TODO
|
0.6 KB |
1457
|
19 months
|
sacerdot:
Bug fixed: when calling an internal function, the pc block is now set to …
|
-
Property svn:mergeinfo set to
|
