aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-11-29UpdatedDavid Aspinall
1999-11-29Fixed download URL to be homepage.David Aspinall
1999-11-29Added John's name to the creditsDavid Aspinall
1999-11-29Set version tag for new release.David Aspinall
1999-11-29Set version tag for new release.David Aspinall
1999-11-29Note about duplicated messages.David Aspinall
1999-11-29Added more notes about using ML files in Isabelle.David Aspinall
1999-11-29Upcoming fix for 3.1.David Aspinall
1999-11-29Updated.David Aspinall
1999-11-29Note about proof_timing in IsabelleDavid Aspinall
1999-11-29UpdatedDavid Aspinall
1999-11-29TypoDavid Aspinall
1999-11-29Comments about improved handling of urgent message markers, followingDavid Aspinall
1999-11-29Change SML minor mode binding to C-c C-m, avoiding clash withDavid Aspinall
1999-11-29Add universal keys to theory modeDavid Aspinall
1999-11-26Fix to proof-shell-proof-completed-regexp by reverting to previous version.David Aspinall
1999-11-26Set version tag for new release.David Aspinall
1999-11-26Removed brackets.David Aspinall
1999-11-26Fixup formattingDavid Aspinall
1999-11-26Set version tag for new release.David Aspinall
1999-11-26Typo.David Aspinall
1999-11-26Add technology overview paper.David Aspinall
1999-11-26Outline paperDavid Aspinall
1999-11-26UpdatedDavid Aspinall
1999-11-26Mention .emacs line for RPM package, and default.el.David Aspinall
1999-11-26Updates for 3.0 release.David Aspinall
1999-11-26Moved Coq's Abbrev section. Fixed some typos.David Aspinall
1999-11-26Added index.html link.David Aspinall
1999-11-26Added devel.links target to make a couple of handy links.David Aspinall
1999-11-26Typos.David Aspinall
1999-11-26Fixup branchDavid Aspinall
1999-11-26Renamed fileDavid Aspinall
1999-11-26Fixup branchDavid Aspinall
1999-11-26Add main README, COPYING to RPM.David Aspinall
1999-11-26Renamed fileDavid Aspinall
1999-11-26Add ProofGeneral.texi and CHANGES to RPM.David Aspinall
1999-11-26Consider proof-easy-config no-longer experimental.David Aspinall
1999-11-26News file purged.David Aspinall
1999-11-25FIXME comment addedDavid Aspinall
1999-11-25Fix to not distribute linked file.David Aspinall
1999-11-25Fixup branch.David Aspinall
1999-11-25Old news fileDavid Aspinall
1999-11-25Fixup web addresses to zermelo.dcs since www.dcs sub pages all broken.David Aspinall
1999-11-25Added note about page rearrangement for pdf filesDavid Aspinall
1999-11-25Add portrait file to IGNOREDFILES.David Aspinall
1999-11-25Set version tag for new release.David Aspinall
1999-11-25Switch CVS remote access to faster machine, scar.David Aspinall
1999-11-25Fixed credits list.David Aspinall
1999-11-25Updated for 3.0 release.David Aspinall
1999-11-25Fix IGNOREDFILES to be a list of patterns to ignore, rather than files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 17:50:42 +0000