index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
etc
Commit message (
Expand
)
Author
Age
...
*
Set version tag for new release.
David Aspinall
2010-10-11
*
Set version tag for new release.
David Aspinall
2010-10-11
*
Set version tag for new release.
David Aspinall
2010-10-10
*
Set version tag for new release.
David Aspinall
2010-10-10
*
Updated
David Aspinall
2010-10-10
*
Set version tag for new release.
David Aspinall
2010-10-10
*
Set version tag for new release.
David Aspinall
2010-10-04
*
Set version tag for new release.
David Aspinall
2010-10-01
*
Set version tag for new release.
David Aspinall
2010-09-29
*
Set version tag for new release.
David Aspinall
2010-09-27
*
Test case
David Aspinall
2010-09-27
*
*** empty log message ***
David Aspinall
2010-09-24
*
add notes
David Aspinall
2010-09-22
*
Test case for http://proofgeneral.inf.ed.ac.uk/trac/ticket/140
David Aspinall
2010-09-22
*
Set version tag for new release.
David Aspinall
2010-09-09
*
Set version tag for new release.
David Aspinall
2010-09-08
*
Add simple clear test for multiple files without require
David Aspinall
2010-09-08
*
Update for current Coq syntax
David Aspinall
2010-09-06
*
*** empty log message ***
David Aspinall
2010-08-30
*
Set version tag for new release.
David Aspinall
2010-08-27
*
Set version tag for new release.
David Aspinall
2010-08-25
*
proof-script-command-end-regexp: allow any non-letter after a period
David Aspinall
2010-08-24
*
Set version tag for new release.
David Aspinall
2010-08-23
*
declare trace_simp in Isar, not ML;
Makarius Wenzel
2010-08-20
*
Set version tag for new release.
David Aspinall
2010-08-19
*
Update ML (but still doesn't work: how to turn on tracing in ML?)
David Aspinall
2010-08-19
*
Remove obsolete timings
David Aspinall
2010-08-19
*
Update link to STIX fonts
David Aspinall
2010-08-19
*
Clarify behaviour of copy-paste for token variants: it works fine in PG
David Aspinall
2010-08-19
*
Minor rearrange
David Aspinall
2010-08-18
*
Updated with recent figures from Mac OS X.
David Aspinall
2010-08-18
*
Clean flag settings for profiling. Add AHundredProofs.
David Aspinall
2010-08-18
*
Set version tag for new release.
David Aspinall
2010-08-17
*
Set version tag for new release.
David Aspinall
2010-08-15
*
Elisp timing
David Aspinall
2010-08-15
*
Fix theory name
David Aspinall
2010-08-03
*
Support files for Movie output
David Aspinall
2010-08-03
*
Set version tag for new release.
David Aspinall
2010-07-08
*
Isabelle syntax update
David Aspinall
2010-06-28
*
Isabelle syntax update
David Aspinall
2010-06-28
*
New files
David Aspinall
2009-12-04
*
Set version tag for new release.
David Aspinall
2009-12-04
*
Update token list adding fraktur characters.
David Aspinall
2009-12-01
*
Set version tag for new release.
David Aspinall
2009-12-01
*
Profile 'pg' needed now too
David Aspinall
2009-12-01
*
Added spanning identifier supers/subs
David Aspinall
2009-12-01
*
Add some examples of longer subscripts
David Aspinall
2009-12-01
*
Add test case
David Aspinall
2009-12-01
*
Add some more examples and syntax declarations to actually
David Aspinall
2009-12-01
*
Set version tag for new release.
David Aspinall
2009-11-12
[prev]
[next]