| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | renamed \<ll> to \<lless> and \<gg> to \<ggreater>; |  Makarius Wenzel | 2001-01-24 | |
| * | proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\; | Makarius Wenzel | 2001-01-18 | |
| * | *** empty log message *** |  Christophe Raffalli | 2001-01-18 | |
| * | proof-string-match; | Makarius Wenzel | 2001-01-12 | |
| * | Updated. |  David Aspinall | 2001-01-12 | |
| * | Updated. | David Aspinall | 2001-01-12 | |
| * | Updated. | David Aspinall | 2001-01-12 | |
| * | Fix loading thy mode fist problem: require proof-script since context | David Aspinall | 2001-01-12 | |
| * | proof-string-match; | Makarius Wenzel | 2001-01-12 | |
| * | Updated. | David Aspinall | 2001-01-12 | |
| * | Set version tag for new release. | David Aspinall | 2001-01-12 | |
| * | *** empty log message *** | Christophe Raffalli | 2001-01-11 | |
| * | fixed format strings in message, error, etc. | Makarius Wenzel | 2001-01-11 | |
| * | proper font-lock of isar-keywords-proof-heading; | Makarius Wenzel | 2001-01-10 | |
| * | added \<wrong>; | Makarius Wenzel | 2001-01-10 | |
| * | added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>; | Makarius Wenzel | 2001-01-09 | |
| * | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | 2001-01-07 | |
| |\ | ||||
| | * | X-Symbol version 4.45 beta | David Aspinall | 2001-01-07 | |
| * | | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | 2001-01-07 | |
| |\| | ||||
| | * | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall | 2001-01-07 | |
| * | | Updated. | David Aspinall | 2001-01-05 | |
| * | | Set version tag for new release. | David Aspinall | 2001-01-05 | |
| * | | added "recdef_tc"; | Makarius Wenzel | 2001-01-03 | |
| * | | include x-symbol-isabelle-font-lock-keywords in shell/goals/response buffers; | Makarius Wenzel | 2000-12-28 | |
| * | | improved isar-string regexp; | Makarius Wenzel | 2000-12-28 | |
| * | | x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable); | Makarius Wenzel | 2000-12-28 | |
| * | | tuned font lock; | Makarius Wenzel | 2000-12-23 | |
| * | | Set version tag for new release. | David Aspinall | 2000-12-22 | |
| * | | *** empty log message *** | Christophe Raffalli | 2000-12-22 | |
| * | | Removed accidently committed debugging code | David Aspinall | 2000-12-22 | |
| * | | *** empty log message *** | Christophe Raffalli | 2000-12-22 | |
| * | | *** empty log message *** | Christophe Raffalli | 2000-12-22 | |
| * | | *** empty log message *** | Christophe Raffalli | 2000-12-22 | |
| * | | *** empty log message *** | Christophe Raffalli | 2000-12-21 | |
| * | | 'goalsave -> 'proof | David Aspinall | 2000-12-21 | |
| * | | *** empty log message *** | Christophe Raffalli | 2000-12-21 | |
| * | | Updated. | David Aspinall | 2000-12-21 | |
| * | | Set version tag for new release. | David Aspinall | 2000-12-21 | |
| * | | .phox -> .phx | David Aspinall | 2000-12-21 | |
| * | | Renamed file | David Aspinall | 2000-12-21 | |
| * | | Updated. | David Aspinall | 2000-12-20 | |
| * | | Fix magic | David Aspinall | 2000-12-20 | |
| * | | Fix comment to not break texi magic | David Aspinall | 2000-12-20 | |
| * | | More broken escapes. | David Aspinall | 2000-12-20 | |
| * | | Set version tag for new release. | David Aspinall | 2000-12-20 | |
| * | | Mentioned important changes | David Aspinall | 2000-12-20 | |
| * | | goalsave -> proof | David Aspinall | 2000-12-20 | |
| * | | goalsave -> proof | David Aspinall | 2000-12-20 | |
| * | | Experimental support for multiple file handling. | David Aspinall | 2000-12-20 | |
| * | | Document proof-shell-last-output and friends | David Aspinall | 2000-12-20 | |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |