index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
Commit message (
Expand
)
Author
Age
*
Set version tag for new release.
David Aspinall
2001-03-20
*
Remove temporary comments
David Aspinall
2001-03-20
*
Fix docstring
David Aspinall
2001-03-20
*
*** empty log message ***
Christophe Raffalli
2001-02-20
*
Set version tag for new release.
David Aspinall
2001-02-07
*
Set version tag for new release.
David Aspinall
2001-02-06
*
Set version tag for new release.
David Aspinall
2001-01-12
*
fixed format strings in message, error, etc.
Makarius Wenzel
2001-01-11
*
Set version tag for new release.
David Aspinall
2001-01-05
*
Set version tag for new release.
David Aspinall
2000-12-22
*
Removed accidently committed debugging code
David Aspinall
2000-12-22
*
*** empty log message ***
Christophe Raffalli
2000-12-22
*
Set version tag for new release.
David Aspinall
2000-12-21
*
Fix comment to not break texi magic
David Aspinall
2000-12-20
*
More broken escapes.
David Aspinall
2000-12-20
*
Set version tag for new release.
David Aspinall
2000-12-20
*
goalsave -> proof
David Aspinall
2000-12-20
*
Testing line for PGIP.
David Aspinall
2000-12-20
*
Improvements to span handling, including new variables: proof-shell-last-outp...
David Aspinall
2000-12-20
*
Improvements to span handling
David Aspinall
2000-12-20
*
Set version tag for new release.
David Aspinall
2000-12-15
*
Remove some user-level functions to pg-user.
David Aspinall
2000-12-14
*
Add proof-disappearing-proofs
David Aspinall
2000-12-14
*
Generalise proof-format-filename
David Aspinall
2000-12-14
*
Factor out some material from proof-script.el
David Aspinall
2000-12-14
*
Add bindings for pg-insert-last-output-as-comment and proof-disappearing-proo...
David Aspinall
2000-12-14
*
Add visible enable command
David Aspinall
2000-12-14
*
Add span-object, mapcar-spans
David Aspinall
2000-12-14
*
Typo.
David Aspinall
2000-12-07
*
Beginnings of pgip processing
David Aspinall
2000-12-07
*
Add provide
David Aspinall
2000-12-07
*
Set version tag for new release.
David Aspinall
2000-12-07
*
fixed format strings for (message ...);
Makarius Wenzel
2000-12-06
*
af2 is now called PhoX
Christophe Raffalli
2000-12-01
*
Set version tag for new release.
David Aspinall
2000-12-01
*
Added proof-shell-match-pgip-cmd
David Aspinall
2000-11-24
*
Added pg-xml-parse-string function.
David Aspinall
2000-11-24
*
Functions to process pgip commands.
David Aspinall
2000-11-24
*
Set version tag for new release.
David Aspinall
2000-11-17
*
Set version tag for new release.
David Aspinall
2000-11-15
*
*** empty log message ***
Christophe Raffalli
2000-10-30
*
*** empty log message ***
Christophe Raffalli
2000-10-27
*
*** empty log message ***
Christophe Raffalli
2000-10-26
*
*** empty log message ***
Christophe Raffalli
2000-10-26
*
Set version tag for new release.
David Aspinall
2000-10-19
*
Set version tag for new release.
David Aspinall
2000-10-18
*
Set version tag for new release.
David Aspinall
2000-10-18
*
Set version tag for new release.
David Aspinall
2000-10-03
*
Set version tag for new release.
David Aspinall
2000-10-02
*
Set version tag for new release.
David Aspinall
2000-10-02
[next]