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
*
Replace proof-terminal-char with proof-terminal-string.
David Aspinall
2010-08-27
*
phox-find-and-forget: return a list
David Aspinall
2009-09-29
*
Prevent many compile warnings
David Aspinall
2009-09-15
*
Some fixes to requires etc
David Aspinall
2009-09-10
*
Tidy whitespace
David Aspinall
2009-09-05
*
resp-font-lock-keywords -> response-font-lock-keywords; output-fontify-enable...
David Aspinall
2009-09-05
*
Remove proof-shell-prompt-pattern, no longer used.
David Aspinall
2009-09-04
*
Remove proof-no-command
David Aspinall
2009-09-04
*
Remove (commented out) x-symbol configuration
David Aspinall
2009-09-01
*
hack with phox-prog-name and phox-prog-name-guess to have this phox folder wo...
Christophe Raffalli
2009-09-01
*
Removed support for x-symbol (I do not like it because it changes the buffer ...
Christophe Raffalli
2009-09-01
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Docstring with keymap
David Aspinall
2008-02-17
*
Updated.
David Aspinall
2008-01-31
*
Remove use of proof-ass
David Aspinall
2008-01-24
*
Compilation tweaks
David Aspinall
2008-01-16
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
Prevent compile error on atomic-extents
David Aspinall
2007-12-14
*
Protect usage of list-fonts, unknown function
David Aspinall
2007-12-10
*
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
[next]