aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/todo
Commit message (Collapse)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-27 06:57:05 +0000