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
/
TokensAcid.thy
Commit message (
Collapse
)
Author
Age
*
Change default Unicode Tokens font back to DejaVU Sans, more reliable ↵
David Aspinall
2012-04-30
|
|
|
|
without installing STIX.
*
Add big Integral
David Aspinall
2011-12-27
|
*
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
|
*
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
|
*
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
|
|
|
|
process the file.
*
Add Emacs 23 warning.
David Aspinall
2009-08-31
|
*
Pointer to Stix fonts
David Aspinall
2009-08-31
|
*
Add more commentary and new control examples
David Aspinall
2009-08-28
|
*
Property merging now works with tweaks in unicode-tokens
David Aspinall
2009-08-28
|
*
Updated.
David Aspinall
2008-08-03
|
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24