aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
Commit message (Expand)AuthorAge
* 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
* UpdatedGravatar David Aspinall2000-05-05
* Added note about new FSF bug discovered, sigh...Gravatar David Aspinall2000-05-01
* UpdatedGravatar David Aspinall2000-04-07
* UpdatedGravatar David Aspinall2000-04-07
* Fixed up proof-shell-proof-completed mess nicely.Gravatar David Aspinall2000-04-07
* UpdatedGravatar David Aspinall2000-04-04
* UpdatedGravatar David Aspinall2000-04-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 08:56:11 +0000