Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Set version tag for new release. | 2000-11-17 | |
* | Set version tag for new release. | 2000-11-15 | |
* | *** empty log message *** | 2000-11-15 | |
* | *** empty log message *** | 2000-11-13 | |
* | *** empty log message *** | 2000-11-10 | |
* | tuned isar-goals-font-lock-keywords; | 2000-10-31 | |
* | tuned font-lock-keywords; | 2000-10-30 | |
* | replaced \<macron> by \<inverse> (better than nothing); | 2000-10-30 | |
* | *** empty log message *** | 2000-10-30 | |
* | Ready for 3.2 changes. | 2000-10-27 | |
* | *** empty log message *** | 2000-10-27 | |
* | *** empty log message *** | 2000-10-27 | |
* | font-lock support for antiquotations; | 2000-10-26 | |
* | *** empty log message *** | 2000-10-26 | |
* | *** empty log message *** | 2000-10-26 | |
* | Updated. | 2000-10-19 | |
* | Set version tag for new release. | 2000-10-19 | |
* | Second part of moving to 3.3pre series. | 2000-10-19 | |
* | Updated. | 2000-10-18 | |
* | Updated. | 2000-10-18 | |
* | Set version tag for new release. | 2000-10-18 | |
* | Begin move to 3.3 series. | 2000-10-18 | |
* | Updated. | 2000-10-18 | |
* | Set version tag for new release. | 2000-10-18 | |
* | Fix parse error. | 2000-10-18 | |
* | parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e); | 2000-10-14 | |
* | support for super- and subscripts (still needs proper per-prover | 2000-10-12 | |
* | Updated. | 2000-10-03 | |
* | Set version tag for new release. | 2000-10-03 | |
* | Apparently X-Sym web pages have simpler install instructions now. | 2000-10-03 | |
* | added settings: eta-contract, goals-limit, prems-limit; | 2000-10-02 | |
* | Removed link to CHANGES, its buggy | 2000-10-02 | |
* | Updated. | 2000-10-02 | |
* | Updated | 2000-10-02 | |
* | Remove more duplicate entries. | 2000-10-02 | |
* | 3-2-1 pending | 2000-10-02 | |
* | Warning about duplicate ChangeLog entries | 2000-10-02 | |
* | Tweak to ChangeLog production | 2000-10-02 | |
* | Remove duplicate entries. | 2000-10-02 | |
* | Updated. | 2000-10-02 | |
* | Mention Isabelle99-1 change | 2000-10-02 | |
* | Set version tag for new release. | 2000-10-02 | |
* | Whoops, left pre-release header in | 2000-10-02 | |
* | Upcoming patch anticipated already. | 2000-10-02 | |
* | Fix recursive make | 2000-10-02 | |
* | Updated. | 2000-10-02 | |
* | Set version tag for new release. | 2000-10-02 | |
* | Note about current pre-release being outdated wrt 3.2 | 2000-10-02 | |
* | Note about current pre-release being outdated wrt 3.2 | 2000-10-02 | |
* | Updated. | 2000-10-02 |