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
/
isar
Commit message (
Expand
)
Author
Age
*
Remove mmm and ML4PG contribs and remove references to them in code and docs
Paul Steckler
2017-05-24
*
Change default Unicode Tokens font back to DejaVU Sans, more reliable without...
David Aspinall
2012-04-30
*
Add big Integral
David Aspinall
2011-12-27
*
updated tests to Isabelle2011-1;
Makarius Wenzel
2011-09-28
*
Clean up a little bit, adding extra syntax to make buffer process fully.
David Aspinall
2011-09-19
*
some local buffer properties;
Makarius Wenzel
2011-09-04
*
Remove semis
David Aspinall
2011-01-25
*
updated theory headers;
Makarius Wenzel
2011-01-23
*
declare trace_simp in Isar, not ML;
Makarius Wenzel
2010-08-20
*
Update ML (but still doesn't work: how to turn on tracing in ML?)
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
*
Elisp timing
David Aspinall
2010-08-15
*
Fix theory name
David Aspinall
2010-08-03
*
Isabelle syntax update
David Aspinall
2010-06-28
*
Isabelle syntax update
David Aspinall
2010-06-28
*
New files
David Aspinall
2009-12-04
*
Update token list adding fraktur characters.
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 some more examples and syntax declarations to actually
David Aspinall
2009-12-01
*
*** empty log message ***
David Aspinall
2009-09-20
*
*** empty log message ***
David Aspinall
2009-09-20
*
Update temp list
David Aspinall
2009-09-11
*
Clean whitespace
David Aspinall
2009-09-05
*
some results
David Aspinall
2009-09-04
*
some profiling records
David Aspinall
2009-09-04
*
Add Elisp timings
David Aspinall
2009-09-04
*
Timing
David Aspinall
2009-09-04
*
fixed theory name;
Makarius Wenzel
2009-09-04
*
Add timing messages
David Aspinall
2009-09-04
*
Add Emacs 23 warning.
David Aspinall
2009-08-31
*
Pointer to Stix fonts
David Aspinall
2009-08-31
*
Tokenize
David Aspinall
2009-08-31
*
Attribution
David Aspinall
2009-08-31
*
Add more commentary and new control examples
David Aspinall
2009-08-28
*
Updated.
David Aspinall
2009-08-28
*
Attempt to duplicate Dixon bug
David Aspinall
2009-08-28
*
Temporary note of property merging problems
David Aspinall
2009-08-28
*
Property merging now works with tweaks in unicode-tokens
David Aspinall
2009-08-28
*
Update some examples
David Aspinall
2009-08-17
*
*** empty log message ***
David Aspinall
2009-05-26
*
Test case for #266
David Aspinall
2009-05-26
*
Revise example for Isabelle 2009, showing use of two commands on a line.
David Aspinall
2009-05-26
*
Updated.
David Aspinall
2008-08-03
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
New files.
David Aspinall
2008-07-19
[next]