index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
phox
Commit message (
Expand
)
Author
Age
*
back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ...
Christophe Raffalli
2006-02-24
*
bug fix
Christophe Raffalli
2005-10-20
*
added lock and unlock for unification variables
Christophe Raffalli
2005-10-12
*
*** empty log message ***
Christophe Raffalli
2005-07-05
*
New files.
David Aspinall
2005-03-25
*
Attempt to address X-Symbol startup problems for PhoX.
David Aspinall
2005-02-13
*
*** empty log message ***
Christophe Raffalli
2005-02-09
*
changes to pbrpm
Christophe Raffalli
2004-12-08
*
work on proof by contextual menu for phox
Christophe Raffalli
2004-11-22
*
replaced root2.phx by new square-root-2.phx
Christophe Raffalli
2004-10-20
*
improvment of phox-x-symbol, supress sym-lock, first support for proof by con...
Christophe Raffalli
2004-10-20
*
first try to make x-symbol works
Christophe Raffalli
2004-05-17
*
*** empty log message ***
Christophe Raffalli
2004-04-16
*
New files.
David Aspinall
2004-04-16
*
Updated.
David Aspinall
2004-04-14
*
Fix compiler warnings
David Aspinall
2004-03-01
*
Remove non-existent proof-state-command setting
David Aspinall
2004-03-01
*
updating for new PG version
Christophe Raffalli
2004-01-30
*
Make find-and-forget robust for proverproc regions
David Aspinall
2003-06-05
*
Fixes so that compile works
David Aspinall
2003-02-15
*
change for version 0.83 of PhoX
Christophe Raffalli
2003-02-12
*
Remove mule-fonts thing, it breaks make magic
David Aspinall
2002-08-29
*
AF2 eradicate
David Aspinall
2002-08-29
*
Fix to calls on message
David Aspinall
2002-08-28
*
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
*
Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...
David Aspinall
2002-07-19
*
Update versions/TODO
David Aspinall
2002-07-17
*
Refactor several variable names; clean up, doc subterm markup and output disp...
David Aspinall
2002-07-16
*
*** 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
2002-03-05
*
*** empty log message ***
Christophe Raffalli
2002-01-17
*
Add specific install instrs, rearrange.
David Aspinall
2001-09-03
*
Change of proof span type back to goalsave
David Aspinall
2001-08-28
*
Various changes for win32 compatibility
Christophe Raffalli
2001-07-25
*
*** empty log message ***
Christophe Raffalli
2001-06-22
*
*** empty log message ***
Christophe Raffalli
2001-03-19
*
*** empty log message ***
Christophe Raffalli
2001-02-20
*
*** empty log message ***
Christophe Raffalli
2001-02-20
*
*** empty log message ***
Christophe Raffalli
2001-02-08
*
*** empty log message ***
Christophe Raffalli
2001-02-07
*
*** 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
2001-02-01
*
*** empty log message ***
Christophe Raffalli
2001-01-18
*
*** empty log message ***
Christophe Raffalli
2001-01-11
*
*** empty log message ***
Christophe Raffalli
2000-12-22
*
*** empty log message ***
Christophe Raffalli
2000-12-22
[next]