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-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
*
Set version tag for new release.
David Aspinall
2009-10-16
*
Add pointer
David Aspinall
2009-10-16
*
*** empty log message ***
David Aspinall
2009-10-16
*
Set version tag for new release.
David Aspinall
2009-10-06
*
Set version tag for new release.
David Aspinall
2009-09-29
*
Set version tag for new release.
David Aspinall
2009-09-28
*
Set version tag for new release.
David Aspinall
2009-09-21
*
*** empty log message ***
David Aspinall
2009-09-20
*
*** empty log message ***
David Aspinall
2009-09-20
*
*** empty log message ***
David Aspinall
2009-09-17
*
Set version tag for new release.
David Aspinall
2009-09-16
*
Set version tag for new release.
David Aspinall
2009-09-15
*
Update temp list
David Aspinall
2009-09-11
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
Coq test
David Aspinall
2009-09-10
*
Deleted file
David Aspinall
2009-09-07
*
Obsolete files
David Aspinall
2009-09-06
*
Clean whitespace
David Aspinall
2009-09-05
*
Add bug ref
David Aspinall
2009-09-05
*
some results
David Aspinall
2009-09-04
[next]