aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/todo
Commit message (Expand)AuthorAge
* Update versions/TODOGravatar David Aspinall2002-07-17
* Added bits from todo for IsabelleGravatar David Aspinall2000-09-25
* done: ability to choose logic;Gravatar Makarius Wenzel2000-09-19
* Suggestion from DvO addedGravatar David Aspinall2000-07-26
* Note about desirable additions to IsabelleGravatar David Aspinall2000-05-09
* tuned todo stuff;Gravatar Makarius Wenzel2000-04-05
* New/updated information filesGravatar David Aspinall2000-03-13
* UpdatedGravatar David Aspinall2000-03-09
* Split low-level todo into several files.Gravatar David Aspinall2000-03-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 17:48:48 +0000