| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-03-01 | Unify terminology. | David Aspinall | |
| 2000-03-01 | New projects added | David Aspinall | |
| 2000-02-29 | Set version tag for new release. | David Aspinall | |
| 2000-02-29 | Updated | David Aspinall | |
| 2000-02-29 | Forced process-connection-type always to nil, after all. May not be an ↵ | David Aspinall | |
| issue with non-mule FSF Emacs (that was something different). | |||
| 2000-02-29 | Include html in a small page via this page. | David Aspinall | |
| 2000-02-29 | Put projects onto separate pages. | David Aspinall | |
| 2000-02-29 | New projects directory. | David Aspinall | |
| 2000-02-28 | Set version tag for new release. | David Aspinall | |
| 2000-02-28 | Todos for 3.1 | David Aspinall | |
| 2000-02-28 | Added some more projects | David Aspinall | |
| 2000-02-28 | Added back ^G fix for Solaris, but not for non-mule FSF. | David Aspinall | |
| 2000-02-28 | Add definition of warn function for FSF compatibility. | David Aspinall | |
| 2000-02-24 | Set version tag for new release. | David Aspinall | |
| 2000-02-24 | Add link to white paper. | David Aspinall | |
| 2000-02-24 | Fix title | David Aspinall | |
| 2000-02-23 | tuned electric-ignore; | Makarius Wenzel | |
| 2000-02-17 | Typo | David Aspinall | |
| 2000-02-17 | Set version tag for new release. | David Aspinall | |
| 2000-02-17 | Added browser project | David Aspinall | |
| 2000-02-17 | Typo | David Aspinall | |
| 2000-02-17 | Fixup tar options | David Aspinall | |
| 2000-02-15 | fix electric-ignore (due to DvO); | Makarius Wenzel | |
| 2000-02-15 | Minor improvements | David Aspinall | |
| 2000-02-15 | Minor improvements | David Aspinall | |
| 2000-02-15 | More projects aded | David Aspinall | |
| 2000-02-15 | Note about registering. | David Aspinall | |
| 2000-02-15 | Rephrasing. | David Aspinall | |
| 2000-02-15 | Set version tag for new release. | David Aspinall | |
| 2000-02-15 | Canonical URL. | David Aspinall | |
| 2000-02-15 | Switch to canonical URL (broken currently) | David Aspinall | |
| 2000-02-15 | New canonical URL for PG. | David Aspinall | |
| 2000-02-15 | New name for devel download page. | David Aspinall | |
| 2000-02-15 | Remove duplicate entry. | David Aspinall | |
| 2000-02-15 | New development pages added, more links | David Aspinall | |
| 2000-02-14 | isar-tac-regexp: 'font-lock-reference-face; | Makarius Wenzel | |
| 2000-02-14 | removed then_apply; | Makarius Wenzel | |
| added apply_end; | |||
| 2000-02-11 | option -x: enable x-symbol package; | Makarius Wenzel | |
| 2000-02-11 | added "judgment"; | Makarius Wenzel | |
| 2000-02-10 | setup proof-shell-pre-interrupt-hook for Poly/ML; | Makarius Wenzel | |
| 2000-02-09 | Added link to OMEGA. | David Aspinall | |
| 2000-02-09 | Doc for proof-shell-pre-interrupt-hook | David Aspinall | |
| 2000-02-09 | Improved download docs | David Aspinall | |
| 2000-02-09 | Added note about countdown to 3.1 | David Aspinall | |
| 2000-02-09 | Set version tag for new release. | David Aspinall | |
| 2000-02-09 | Direction to look at BUGS file | David Aspinall | |
| 2000-02-09 | Added proof-shell-pre-interrupt-hook | David Aspinall | |
| 2000-02-09 | tuned indentation code; | Makarius Wenzel | |
| 2000-02-09 | added isar-keywords-qed-global, isar-global-save-command-regexp; | Makarius Wenzel | |
| added isar-keywords-indent-reset; tuned font-lock; | |||
| 2000-02-09 | added 'oops'; | Makarius Wenzel | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |