isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip

brute-force range restriction to avoid spurious crashes;
2011-06-16, by wenzelm
static token markup, based on outer syntax only;
2011-06-16, by wenzelm
explicit dependency on Pure.jar;
2011-06-16, by wenzelm
partial scans of nested comments;
2011-06-16, by wenzelm
some support for partial scans with explicit context;
2011-06-16, by wenzelm
tuned spelling
2011-06-16, by haftmann
updated generated file;
2011-06-15, by wenzelm
merged
2011-06-15, by wenzelm
spelling
2011-06-15, by haftmann
avoid compiler warning -- this is unchecked anyway;
2011-06-15, by wenzelm
tuned messages;
2011-06-15, by wenzelm
uniform use of Document_View.robust_body;
2011-06-15, by wenzelm
merged
2011-06-15, by wenzelm
merge
2011-06-15, by blanchet
fixed soundness bug made more visible by previous change
2011-06-15, by blanchet
use more appropriate type systems for ATP exporter
2011-06-15, by blanchet
type arguments now (unlike back when fa2cf11d6351 was done) normally carry enough information to reconstruct the type of an applied constant, so no need to constraint the argument types in those cases
2011-06-15, by blanchet
more robust painter_body wrt. EBP races and spurious exceptions (which causes jEdit to remove the extension);
2011-06-15, by wenzelm
more robust init;
2011-06-15, by wenzelm
recovered orig_text_painter from f4141da52e92;
2011-06-15, by wenzelm
tuned;
2011-06-15, by wenzelm
more elaborate syntax styles;
2011-06-15, by wenzelm
more precise caret painting, working around existing painter (which is reinstalled by jEdit occasionally);
2011-06-15, by wenzelm
paint caret according to precise font metrics;
2011-06-15, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle