aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-02-29UpdatedDavid Aspinall
2000-02-29Forced process-connection-type always to nil, after all. May not be an issue...David Aspinall
2000-02-29Include html in a small page via this page.David Aspinall
2000-02-29Put projects onto separate pages.David Aspinall
2000-02-29New projects directory.David Aspinall
2000-02-28Set version tag for new release.David Aspinall
2000-02-28Todos for 3.1David Aspinall
2000-02-28Added some more projectsDavid Aspinall
2000-02-28Added back ^G fix for Solaris, but not for non-mule FSF.David Aspinall
2000-02-28Add definition of warn function for FSF compatibility.David Aspinall
2000-02-24Set version tag for new release.David Aspinall
2000-02-24Add link to white paper.David Aspinall
2000-02-24Fix titleDavid Aspinall
2000-02-23tuned electric-ignore;Makarius Wenzel
2000-02-17TypoDavid Aspinall
2000-02-17Set version tag for new release.David Aspinall
2000-02-17Added browser projectDavid Aspinall
2000-02-17TypoDavid Aspinall
2000-02-17Fixup tar optionsDavid Aspinall
2000-02-15fix electric-ignore (due to DvO);Makarius Wenzel
2000-02-15Minor improvementsDavid Aspinall
2000-02-15Minor improvementsDavid Aspinall
2000-02-15More projects adedDavid Aspinall
2000-02-15Note about registering.David Aspinall
2000-02-15Rephrasing.David Aspinall
2000-02-15Set version tag for new release.David Aspinall
2000-02-15Canonical URL.David Aspinall
2000-02-15Switch to canonical URL (broken currently)David Aspinall
2000-02-15New canonical URL for PG.David Aspinall
2000-02-15New name for devel download page.David Aspinall
2000-02-15Remove duplicate entry.David Aspinall
2000-02-15New development pages added, more linksDavid Aspinall
2000-02-14isar-tac-regexp: 'font-lock-reference-face;Makarius Wenzel
2000-02-14removed then_apply;Makarius Wenzel
2000-02-11option -x: enable x-symbol package;Makarius Wenzel
2000-02-11added "judgment";Makarius Wenzel
2000-02-10setup proof-shell-pre-interrupt-hook for Poly/ML;Makarius Wenzel
2000-02-09Added link to OMEGA.David Aspinall
2000-02-09Doc for proof-shell-pre-interrupt-hookDavid Aspinall
2000-02-09Improved download docsDavid Aspinall
2000-02-09Added note about countdown to 3.1David Aspinall
2000-02-09Set version tag for new release.David Aspinall
2000-02-09Direction to look at BUGS fileDavid Aspinall
2000-02-09Added proof-shell-pre-interrupt-hookDavid Aspinall
2000-02-09tuned indentation code;Makarius Wenzel
2000-02-09added isar-keywords-qed-global, isar-global-save-command-regexp;Makarius Wenzel
2000-02-09added 'oops';Makarius Wenzel
2000-02-07fixed proof-shell-error-regexp;Makarius Wenzel
2000-01-28added prefer, defer;Makarius Wenzel
2000-01-26Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 05:58:13 +0000