source: src/TODO

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @1457   9 years sacerdot Bug fixed: when calling an internal function, the pc block is now set …
(edit) @1453   9 years sacerdot
(edit) @1451   9 years sacerdot 1. All axioms in LIN/ closed 2. succ_pc and …
(add) @1431   9 years sacerdot Back-end todo (in Italian only, sorry...)
Note: See TracRevisionLog for help on using the revision log.