Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
joint
/
lineariseProof.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)
@2447
8 years
piccolo
All axioms opened so far and that must be closed here have been closed.
(edit)
@2446
8 years
piccolo
Fetch commutation proof reduced to one simple (?) lemma.
(edit)
@2445
8 years
piccolo
1. sigma function axiomatically defined (together with its spec). …
(edit)
@2443
8 years
tranquil
changed joint's stack pointer and internal stack
(add)
@2442
8 years
piccolo
Traces repaired. (By Paolo) Statement of lineariseProof in place.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog