aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Temporary fix for problem with Emacs 20.5 reported by PierreGravatar David Aspinall2000-01-25
* Set version tag for new release.Gravatar David Aspinall2000-01-20
* Fix to validator linksGravatar David Aspinall2000-01-18
* in url, change ~dcs7ttg to CARG, the permanent formGravatar Paul Callaghan2000-01-18
* Set version tag for new release.Gravatar David Aspinall2000-01-12
* Attempted fix for thy-mode X-Symbol problems. Still buggy.Gravatar David Aspinall2000-01-12
* CommentsGravatar David Aspinall2000-01-12
* Note about X-Symbol problems.Gravatar David Aspinall2000-01-12
* Set version tag for new release.Gravatar David Aspinall2000-01-06
* Mention fix to proof-shell-eager-annotation-start-lengthGravatar David Aspinall2000-01-06
* Fixes for short output duplication problem: set proof-shell-eager-annotation-...Gravatar David Aspinall2000-01-06
* added "where";Gravatar Makarius Wenzel2000-01-06
* fixed isar-keywords-local-goal-regexp;Gravatar Makarius Wenzel1999-12-30
* Set version tag for new release.Gravatar David Aspinall1999-12-16
* Typos.Gravatar David Aspinall1999-12-16
* Added slides, news about ETAPS demo.Gravatar David Aspinall1999-12-14
* Minor fixesGravatar David Aspinall1999-12-14
* Typo.Gravatar David Aspinall1999-12-14
* Set version tag for new release.Gravatar David Aspinall1999-12-14
* New chapter on Hints and Tips. Credit to Pierre.Gravatar David Aspinall1999-12-14
* Pierre: Added little a chapter to the documentation: Using FileGravatar Pierre Courtieu1999-12-14
* Set version tag for new release.Gravatar David Aspinall1999-12-13
* Added two new bugs to be fixed.Gravatar David Aspinall1999-12-13
* Added two new bugs.Gravatar David Aspinall1999-12-13
* Set version tag for new release.Gravatar David Aspinall1999-12-03
* Clarified further problem with Isabelle and ML files with embedded semis.Gravatar David Aspinall1999-12-03
* Fix link to SRPM.Gravatar David Aspinall1999-12-03
* Moved notice about license to download.phtml. Made plea for registration eve...Gravatar David Aspinall1999-12-01
* Update link for Isamode to be on zermelo (careful)Gravatar David Aspinall1999-12-01
* Set version tag for new release.Gravatar David Aspinall1999-12-01
* Minor.Gravatar David Aspinall1999-12-01
* Updated from version sent to lists.Gravatar David Aspinall1999-12-01
* Shorten note about imenu.Gravatar David Aspinall1999-12-01
* Fix HTML errors.Gravatar David Aspinall1999-12-01
* Add attribute that news was written by me.Gravatar David Aspinall1999-12-01
* Fix link to Dilip's rather uninformative pageGravatar David Aspinall1999-12-01
* Hedge on tag for validator image, it's really a lie and should have a questio...Gravatar David Aspinall1999-12-01
* Fix broken linkGravatar David Aspinall1999-12-01
* Removed unused descitem style.Gravatar David Aspinall1999-12-01
* Fix HTML errors by adding name arg to dt() function.Gravatar David Aspinall1999-12-01
* Fix HTML errors.Gravatar David Aspinall1999-12-01
* Mention using imenu instead of func-menu.Gravatar David Aspinall1999-12-01
* Fix HTML error with fileshow.Gravatar David Aspinall1999-12-01
* Added comments about initializing counter.Gravatar David Aspinall1999-12-01
* Fix HTML errorGravatar David Aspinall1999-12-01
* Made background a bit lighter.Gravatar David Aspinall1999-12-01
* Updated for 3.1preGravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Development version becomes 3.1.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 23:19:42 +0000