Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
StatusProofs.ma
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@2124
9 years
sacerdot
Much more shuffling around to proper places
(edit)
@2032
9 years
sacerdot
!! BEWARE: major commit !! 1) [affects everybody] split for …
(edit)
@1962
9 years
sacerdot
More examples are now indexed.
(edit)
@1959
9 years
mulligan
Commented out diverging application of demodulation and closed goals …
(edit)
@1958
9 years
mulligan
Marked divergence in
StatusProofs?
.ma
(edit)
@1710
9 years
mulligan
changes from friday afternoon
(edit)
@1666
9 years
sacerdot
PreStatus?
datatype change: the code_memory field is not a left …
(edit)
@1606
9 years
sacerdot
Porting to last library of Matita.
(edit)
@1530
9 years
campbell
Update due to Russell changes.
(edit)
@1519
9 years
campbell
More syntax updates.
(edit)
@1515
9 years
campbell
Add type of maps on positive binary numbers, and use them for …
(add)
@1014
10 years
sacerdot
The main theorem is completely broken (again).
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog