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