aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Expand)Author
2002-09-13Updated.David Aspinall
2002-09-11Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-16Updated.David Aspinall
2002-08-16Updated.David Aspinall
2002-08-16Updated.David Aspinall
2002-08-16UpdateDavid Aspinall
2002-08-08UpdatesDavid Aspinall
2002-08-07Updated.David Aspinall
2002-07-19UpdatedDavid Aspinall
2002-07-17UpdatesDavid Aspinall
2002-07-16UpdatedDavid Aspinall
2002-07-14Stick 3.4 stuff on endDavid Aspinall
2002-06-08UpdatesDavid Aspinall
2002-04-23UpdatedDavid Aspinall
2001-09-13updatedDavid Aspinall
2001-09-10Update todoDavid Aspinall
2001-09-05UpdatedDavid Aspinall
2001-09-03Updating branchDavid Aspinall
2001-07-09TODO for proof-ass fixing added.David Aspinall
2000-10-02UpdatedDavid Aspinall
2000-10-02UpdatedDavid Aspinall
2000-10-02Updated, cleaned upDavid Aspinall
2000-09-29UpdatedDavid Aspinall
2000-09-29UpdatedDavid Aspinall
2000-09-29Updated with fixes before 3.2.David Aspinall
2000-09-28phtml -> htmlDavid Aspinall
2000-09-28Generalize Isabelles atomic file scripting.David Aspinall
2000-09-27UpdatedDavid Aspinall
2000-09-23Removed:David Aspinall
2000-09-23Changes: (actually in previous version)David Aspinall
2000-09-23UpdatedDavid Aspinall
2000-09-21done: exit isar;Makarius Wenzel
2000-09-18UpdatedDavid Aspinall
2000-09-14UpdatedDavid Aspinall
2000-09-13UpdatedDavid Aspinall
2000-09-12UpdatedDavid Aspinall
2000-09-08UpdatedDavid Aspinall
2000-08-28adapting manual needs intro fixingDavid Aspinall
2000-08-28Added a couple of todosDavid Aspinall
2000-07-12UpdatedDavid Aspinall
2000-07-03UpdatedDavid Aspinall
2000-06-27UpdatedDavid Aspinall
2000-06-15Added new section on updates for future Emacs versionsDavid Aspinall
2000-06-09Message about packages needed (incomplete)David Aspinall
2000-06-09Bug in file colouringDavid Aspinall
2000-06-08Improved indentation code; enabled by default;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 02:32:58 +0000