aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
Commit message (Expand)AuthorAge
* UpdatesGravatar David Aspinall2002-08-08
* Updated.Gravatar David Aspinall2002-08-07
* UpdatedGravatar David Aspinall2002-07-19
* UpdatesGravatar David Aspinall2002-07-17
* UpdatedGravatar David Aspinall2002-07-16
* Stick 3.4 stuff on endGravatar David Aspinall2002-07-14
* UpdatesGravatar David Aspinall2002-06-08
* UpdatedGravatar David Aspinall2002-04-23
* updatedGravatar David Aspinall2001-09-13
* Update todoGravatar David Aspinall2001-09-10
* UpdatedGravatar David Aspinall2001-09-05
* Updating branchGravatar David Aspinall2001-09-03
* TODO for proof-ass fixing added.Gravatar David Aspinall2001-07-09
* UpdatedGravatar David Aspinall2000-10-02
* UpdatedGravatar David Aspinall2000-10-02
* Updated, cleaned upGravatar David Aspinall2000-10-02
* UpdatedGravatar David Aspinall2000-09-29
* UpdatedGravatar David Aspinall2000-09-29
* Updated with fixes before 3.2.Gravatar David Aspinall2000-09-29
* phtml -> htmlGravatar David Aspinall2000-09-28
* Generalize Isabelles atomic file scripting.Gravatar David Aspinall2000-09-28
* UpdatedGravatar David Aspinall2000-09-27
* Removed:Gravatar David Aspinall2000-09-23
* Changes: (actually in previous version)Gravatar David Aspinall2000-09-23
* UpdatedGravatar David Aspinall2000-09-23
* done: exit isar;Gravatar Makarius Wenzel2000-09-21
* UpdatedGravatar David Aspinall2000-09-18
* UpdatedGravatar David Aspinall2000-09-14
* UpdatedGravatar David Aspinall2000-09-13
* UpdatedGravatar David Aspinall2000-09-12
* UpdatedGravatar David Aspinall2000-09-08
* adapting manual needs intro fixingGravatar David Aspinall2000-08-28
* Added a couple of todosGravatar David Aspinall2000-08-28
* UpdatedGravatar David Aspinall2000-07-12
* UpdatedGravatar David Aspinall2000-07-03
* UpdatedGravatar David Aspinall2000-06-27
* Added new section on updates for future Emacs versionsGravatar David Aspinall2000-06-15
* Message about packages needed (incomplete)Gravatar David Aspinall2000-06-09
* Bug in file colouringGravatar David Aspinall2000-06-09
* Improved indentation code; enabled by default;Gravatar Makarius Wenzel2000-06-08
* todo for C-c C-l to fix pointGravatar David Aspinall2000-06-06
* Updated.Gravatar David Aspinall2000-06-05
* UpdatedGravatar David Aspinall2000-06-01
* Note about generalizing settings mechanismGravatar David Aspinall2000-06-01
* UpdatedGravatar David Aspinall2000-05-29
* UpdatedGravatar David Aspinall2000-05-26
* Updated. Noted that "first line" bug is more prevalent than thought.Gravatar David Aspinall2000-05-18
* Updated, mentioned Solaris bug reported by Markus.Gravatar David Aspinall2000-05-16
* Notes about fixing docstring-magic.Gravatar David Aspinall2000-05-12
* UpdatedGravatar David Aspinall2000-05-12