aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Expand)Author
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
2000-06-06todo for C-c C-l to fix pointDavid Aspinall
2000-06-05Updated.David Aspinall
2000-06-01UpdatedDavid Aspinall
2000-06-01Note about generalizing settings mechanismDavid Aspinall
2000-05-29UpdatedDavid Aspinall
2000-05-26UpdatedDavid Aspinall
2000-05-18Updated. Noted that "first line" bug is more prevalent than thought.David Aspinall
2000-05-16Updated, mentioned Solaris bug reported by Markus.David Aspinall
2000-05-12Notes about fixing docstring-magic.David Aspinall
2000-05-12UpdatedDavid Aspinall
2000-05-05UpdatedDavid Aspinall
2000-05-01Added note about new FSF bug discovered, sigh...David Aspinall
2000-04-07UpdatedDavid Aspinall
2000-04-07UpdatedDavid Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-04-04UpdatedDavid Aspinall
2000-04-04UpdatedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 14:33:56 +0000