index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Temporary commit to share file, this is work in progress for Prooftree
David Aspinall
2012-01-19
*
Add file from Mark
David Aspinall
2012-01-19
*
Patch needed temporarily to avoid rebuild of Prooftree
David Aspinall
2012-01-19
*
Typo
David Aspinall
2012-01-19
*
Update documentation
David Aspinall
2012-01-19
*
Added some detail on the indentation limitation in the CHANGE.
Pierre Courtieu
2012-01-18
*
Fixed a small bug in indentation (ter repetita). Bullets are indented
Pierre Courtieu
2012-01-18
*
Fixed a small bug in indentation (bis repetita).
Pierre Courtieu
2012-01-18
*
Fixed a small bug in indentation.
Pierre Courtieu
2012-01-18
*
lower cpu utilization of splash screen, see Debian bug #642048
Hendrik Tews
2012-01-14
*
Set version tag for new release.
David Aspinall
2012-01-12
*
Fix typo, mention HOL Light
David Aspinall
2012-01-12
*
Adjust license to CC-BY-SA-3
David Aspinall
2012-01-11
*
Set version tag for new release.
David Aspinall
2012-01-10
*
Tweak message and display model, in particular, make sure that when a
David Aspinall
2012-01-10
*
Note about make -j for parallel compilation
David Aspinall
2012-01-10
*
Emphasise importance of Trac
David Aspinall
2012-01-10
*
Mention critical Emacs bug which destroys characters in certain
David Aspinall
2012-01-10
*
Add documentation for proof-shell-trace-output-regexp (Trac #432) and
David Aspinall
2012-01-10
*
Support proof-shell-interactive-prompt-regexp, ref Trac #430
David Aspinall
2012-01-10
*
Improve configuration for HOL Light. Allow goals display to be prefixed by i...
David Aspinall
2012-01-09
*
proof-shell-start-goals-regexp: shy match to avoid introducing match group
David Aspinall
2012-01-09
*
proof-shell-end-goals-regexp doc: fix inaccuracy, goals always start
David Aspinall
2012-01-09
*
Make configuration settings. Tweak error regexp.
David Aspinall
2012-01-06
*
Update variable docs. Use HOL Light instead of HOL98.
David Aspinall
2012-01-05
*
Temporarily enable HOL Light globally for testing
David Aspinall
2012-01-05
*
Some fixes to get a working instance for HOL Light. Work in progress.
David Aspinall
2012-01-05
*
* fix case where some existential is instantiated with the last proof command
Hendrik Tews
2012-01-04
*
Set version tag for new release.
David Aspinall
2012-01-04
*
Add link to Prooftree download
David Aspinall
2012-01-04
*
Add News for Version 4.2
David Aspinall
2012-01-03
*
Remove unused variable
David Aspinall
2012-01-03
*
hide the dependent evars line
Hendrik Tews
2012-01-03
*
update CHANGES
Hendrik Tews
2012-01-03
*
update TAGS
Hendrik Tews
2012-01-03
*
merge ProofTreeBranch into main trunk:
Hendrik Tews
2012-01-03
*
Add big Integral
David Aspinall
2011-12-27
*
Extra test
David Aspinall
2011-12-27
*
Typo
David Aspinall
2011-12-27
*
Will release 4.2 next, after all
David Aspinall
2011-12-23
*
Fixed some regexp. One for goal closing detection and one for
Pierre Courtieu
2011-12-16
*
Adapting coq syntax recognition to the future v8.4 behavior of bullets
Pierre Courtieu
2011-12-16
*
Set version tag for new release.
David Aspinall
2011-12-07
*
- protect proof-shell-handle-delayed-output against the case where
Hendrik Tews
2011-12-07
*
fix a log of broken customization types
Hendrik Tews
2011-12-06
*
use the start of proof-shell-end-goals-regexp, as documented
Hendrik Tews
2011-12-06
*
ensure optim-resp-window does not change the current buffer
Hendrik Tews
2011-12-06
*
Applied a patch from Tom Prince which makes
Pierre Courtieu
2011-12-05
*
Quick stab at support for switching to proof shell when interactive support e...
David Aspinall
2011-11-15
*
Suggest PG 4.1.1 will be released next
David Aspinall
2011-11-15
[next]