aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-07-22Downgraded Isabelle version to 98-1 againDavid Aspinall
1999-07-22Reverted change to Inferior buffer's name, it fails on simpleDavid Aspinall
1999-07-22removed 'break';Makarius Wenzel
1999-07-16Set version tag for new release.David Aspinall
1999-07-09added def;Makarius Wenzel
1999-07-08added concl, thence;Makarius Wenzel
1999-07-08isar-stack-to-indent: indent according to (current-column) of open cmd;Makarius Wenzel
1999-07-08(goto-char (point-min)) rather than (proof-goto-end-of-locked);Makarius Wenzel
1999-07-07Set version tag for new release.David Aspinall
1999-07-06removed prev, up, top;Makarius Wenzel
1999-07-05todo for web pagesDavid Aspinall
1999-07-05Validator address fix.David Aspinall
1999-07-03Tweaks and validation fixes.David Aspinall
1999-07-03Fixed validator address.David Aspinall
1999-07-03CommentDavid Aspinall
1999-07-03todo for htmlDavid Aspinall
1999-07-03Load plastic and isar as a sanity check, prelude to documenting in texiDavid Aspinall
1999-07-03Notice about versions supported, fixes.David Aspinall
1999-07-03Removed extra parenthesis.David Aspinall
1999-07-03Request to register a little more encouraging.David Aspinall
1999-07-03Set version tag for new release.David Aspinall
1999-07-02fixed some regexps via proof-anchor-regexp;Makarius Wenzel
1999-07-02fixed some regexp via proof-anchor-regexp;Makarius Wenzel
1999-07-02Set version tag for new release.David Aspinall
1999-07-02added "sorry" proof;Makarius Wenzel
1999-07-02"txt" keyword;Makarius Wenzel
1999-07-02Date change.David Aspinall
1999-07-02Missing space.David Aspinall
1999-07-02Spaces and punctuationDavid Aspinall
1999-07-02Notes about php functions.David Aspinall
1999-07-01isar-keywords-proof-asm;Makarius Wenzel
1999-07-01Note about doc files absence from devel tarball.David Aspinall
1999-07-01Set version tag for new release.David Aspinall
1999-07-01Simplified for new rpmDavid Aspinall
1999-07-01Fix rpm building for 3.0.1 version of RPM.David Aspinall
1999-07-01Put info files back in dist.David Aspinall
1999-06-30Attribute LFCS on front pageDavid Aspinall
1999-06-30topdir stuff broken, to be fixed.David Aspinall
1999-06-30Removed hack for texi2html, now using hacked texi2html instead.David Aspinall
1999-06-30Streamlined a bitDavid Aspinall
1999-06-30Removed distinstall, doesn't work for temporary server.David Aspinall
1999-06-30Note about compilationDavid Aspinall
1999-06-30Missing parentheses added. Docstring fix.David Aspinall
1999-06-30Set version tag for new release.David Aspinall
1999-06-30TweaksDavid Aspinall
1999-06-30Simple hit counterDavid Aspinall
1999-06-30updatedDavid Aspinall
1999-06-30isar-preprocessing: sync markers;Makarius Wenzel
1999-06-30*** empty log message ***Patrick Loiseleur
1999-06-30last commit for 2.1Patrick Loiseleur
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 06:43:29 +0000