Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
←
Previous Change
Next Change
→
Changeset
1635
for
src/joint
Timestamp:
Jan 7, 2012, 12:33:17 AM (
9 years
ago)
Author:
tranquil
Message:
lists with binders and monads
Joint.ma and other temprarily forked, awaiting feedback from Claudio
translation of RTLabs → RTL refactored with new tools
Location:
src/joint
Files:
2 added
Joint_paolo.ma
(added)
TranslateUtils_paolo.ma
(added)
Note:
See
TracChangeset
for help on using the changeset viewer.
Download in other formats:
Unified Diff
Zip Archive