aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-01-06Fixes for short output duplication problem: set proof-shell-eager-annotation-...David Aspinall
2000-01-06added "where";Makarius Wenzel
1999-12-30fixed isar-keywords-local-goal-regexp;Makarius Wenzel
1999-12-16Set version tag for new release.David Aspinall
1999-12-16Typos.David Aspinall
1999-12-14Added slides, news about ETAPS demo.David Aspinall
1999-12-14Minor fixesDavid Aspinall
1999-12-14Typo.David Aspinall
1999-12-14Set version tag for new release.David Aspinall
1999-12-14New chapter on Hints and Tips. Credit to Pierre.David Aspinall
1999-12-14Pierre: Added little a chapter to the documentation: Using FilePierre Courtieu
1999-12-13Set version tag for new release.David Aspinall
1999-12-13Added two new bugs to be fixed.David Aspinall
1999-12-13Added two new bugs.David Aspinall
1999-12-03Set version tag for new release.David Aspinall
1999-12-03Clarified further problem with Isabelle and ML files with embedded semis.David Aspinall
1999-12-03Fix link to SRPM.David Aspinall
1999-12-01Moved notice about license to download.phtml. Made plea for registration eve...David Aspinall
1999-12-01Update link for Isamode to be on zermelo (careful)David Aspinall
1999-12-01Set version tag for new release.David Aspinall
1999-12-01Minor.David Aspinall
1999-12-01Updated from version sent to lists.David Aspinall
1999-12-01Shorten note about imenu.David Aspinall
1999-12-01Fix HTML errors.David Aspinall
1999-12-01Add attribute that news was written by me.David Aspinall
1999-12-01Fix link to Dilip's rather uninformative pageDavid Aspinall
1999-12-01Hedge on tag for validator image, it's really a lie and should have a questio...David Aspinall
1999-12-01Fix broken linkDavid Aspinall
1999-12-01Removed unused descitem style.David Aspinall
1999-12-01Fix HTML errors by adding name arg to dt() function.David Aspinall
1999-12-01Fix HTML errors.David Aspinall
1999-12-01Mention using imenu instead of func-menu.David Aspinall
1999-12-01Fix HTML error with fileshow.David Aspinall
1999-12-01Added comments about initializing counter.David Aspinall
1999-12-01Fix HTML errorDavid Aspinall
1999-12-01Made background a bit lighter.David Aspinall
1999-11-30Updated for 3.1preDavid Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Development version becomes 3.1.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Cannot have FULLVERSION in spec file, will break links, etc.David Aspinall
1999-11-30Edit spec file to get tar file name right.David Aspinall
1999-11-30Remove -b option from tag. Probably needs to be done by hand.David Aspinall
1999-11-30Correct release tags.David Aspinall
1999-11-30Added -b option to tag.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Added -b option to tag.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Note about pdftexinfo bug.David Aspinall
1999-11-30Disabled use of macros for URLs, sigh. It breaks pdftexinfo.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 14:22:13 +0000