source: src/joint/stacksize.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2456   7 years boender - added simple proof
(edit) @2426   7 years boender - updated stacksize to reflect new developments, completed proof - …
(edit) @2417   7 years boender - reverted changes to StructuredTraces? (shouldn't have been committed …
(add) @2398   7 years boender - committed start of stacksize
Note: See TracRevisionLog for help on using the revision log.