Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Many compatibility updates, bug fixes, rearrangements for compilation. | 2008-01-15 | |
| | |||
* | back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ↵ | 2006-02-24 | |
| | | | | imporvment in proof by contextual menu | ||
* | improvment of phox-x-symbol, supress sym-lock, first support for proof by ↵ | 2004-10-20 | |
| | | | | contextual menu | ||
* | updating for new PG version | 2004-01-30 | |
| | |||
* | change for version 0.83 of PhoX | 2003-02-12 | |
| | |||
* | change to support version 4.4 of x-symbol | 2002-07-25 | |
| | |||
* | change to support version 4.4 of x-symbol | 2002-07-25 | |
| | |||
* | *** empty log message *** | 2002-03-21 | |
| | |||
* | added hook: proof-before-fontify-output-hook | 2002-03-21 | |
| | |||
* | *** empty log message *** | 2001-03-19 | |
| | |||
* | *** empty log message *** | 2001-02-08 | |
| | |||
* | *** empty log message *** | 2001-02-07 | |
| | |||
* | *** empty log message *** | 2001-02-02 | |
| | |||
* | *** empty log message *** | 2001-02-01 | |
| | |||
* | *** empty log message *** | 2000-12-22 | |
| | |||
* | *** empty log message *** | 2000-12-21 | |
| | |||
* | *** empty log message *** | 2000-12-19 | |
| | |||
* | af2 is now called PhoX | 2000-12-01 | |