aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Forced process-connection-type always to nil, after all. May not be an issue...Gravatar David Aspinall2000-02-29
* Include html in a small page via this page.Gravatar David Aspinall2000-02-29
* Put projects onto separate pages.Gravatar David Aspinall2000-02-29
* New projects directory.Gravatar David Aspinall2000-02-29
* Set version tag for new release.Gravatar David Aspinall2000-02-28
* Todos for 3.1Gravatar David Aspinall2000-02-28
* Added some more projectsGravatar David Aspinall2000-02-28
* Added back ^G fix for Solaris, but not for non-mule FSF.Gravatar David Aspinall2000-02-28
* Add definition of warn function for FSF compatibility.Gravatar David Aspinall2000-02-28
* Set version tag for new release.Gravatar David Aspinall2000-02-24
* Add link to white paper.Gravatar David Aspinall2000-02-24
* Fix titleGravatar David Aspinall2000-02-24
* tuned electric-ignore;Gravatar Makarius Wenzel2000-02-23
* TypoGravatar David Aspinall2000-02-17
* Set version tag for new release.Gravatar David Aspinall2000-02-17
* Added browser projectGravatar David Aspinall2000-02-17
* TypoGravatar David Aspinall2000-02-17
* Fixup tar optionsGravatar David Aspinall2000-02-17
* fix electric-ignore (due to DvO);Gravatar Makarius Wenzel2000-02-15
* Minor improvementsGravatar David Aspinall2000-02-15
* Minor improvementsGravatar David Aspinall2000-02-15
* More projects adedGravatar David Aspinall2000-02-15
* Note about registering.Gravatar David Aspinall2000-02-15
* Rephrasing.Gravatar David Aspinall2000-02-15
* Set version tag for new release.Gravatar David Aspinall2000-02-15
* Canonical URL.Gravatar David Aspinall2000-02-15
* Switch to canonical URL (broken currently)Gravatar David Aspinall2000-02-15
* New canonical URL for PG.Gravatar David Aspinall2000-02-15
* New name for devel download page.Gravatar David Aspinall2000-02-15
* Remove duplicate entry.Gravatar David Aspinall2000-02-15
* New development pages added, more linksGravatar David Aspinall2000-02-15
* isar-tac-regexp: 'font-lock-reference-face;Gravatar Makarius Wenzel2000-02-14
* removed then_apply;Gravatar Makarius Wenzel2000-02-14
* option -x: enable x-symbol package;Gravatar Makarius Wenzel2000-02-11
* added "judgment";Gravatar Makarius Wenzel2000-02-11
* setup proof-shell-pre-interrupt-hook for Poly/ML;Gravatar Makarius Wenzel2000-02-10
* Added link to OMEGA.Gravatar David Aspinall2000-02-09
* Doc for proof-shell-pre-interrupt-hookGravatar David Aspinall2000-02-09
* Improved download docsGravatar David Aspinall2000-02-09
* Added note about countdown to 3.1Gravatar David Aspinall2000-02-09
* Set version tag for new release.Gravatar David Aspinall2000-02-09
* Direction to look at BUGS fileGravatar David Aspinall2000-02-09
* Added proof-shell-pre-interrupt-hookGravatar David Aspinall2000-02-09
* tuned indentation code;Gravatar Makarius Wenzel2000-02-09
* added isar-keywords-qed-global, isar-global-save-command-regexp;Gravatar Makarius Wenzel2000-02-09
* added 'oops';Gravatar Makarius Wenzel2000-02-09
* fixed proof-shell-error-regexp;Gravatar Makarius Wenzel2000-02-07
* added prefer, defer;Gravatar Makarius Wenzel2000-01-28
* Set version tag for new release.Gravatar David Aspinall2000-01-26
* Notes about fix for problem with Emacs 20.5 reported by PierreGravatar David Aspinall2000-01-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 23:52:28 +0000