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 -30 +30 +50 +100 +300 tip

clarified signature;
2 months ago, by wenzelm
tuned signature;
2 months ago, by wenzelm
clarified signature;
2 months ago, by wenzelm
suppress dummyT, e.g. from Type_Annotation.print;
2 months ago, by wenzelm
tuned proofs;
2 months ago, by wenzelm
print type constraints for consts with mixfix syntax;
2 months ago, by wenzelm
tuned comments;
2 months ago, by wenzelm
obsolete (see 137ea3d464be);
2 months ago, by wenzelm
tuned proofs;
2 months ago, by wenzelm
tuned whitespace;
2 months ago, by wenzelm
more inner-syntax markup;
2 months ago, by wenzelm
less instrusive rendering for input buffer (in contrast to 264f043c5da1);
2 months ago, by wenzelm
clarified inner-syntax markup;
2 months ago, by wenzelm
tuned whitespace;
2 months ago, by wenzelm
tuned whitespace;
2 months ago, by wenzelm
clarified syntax declarations: keep things together;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
more inner-syntax markup;
2 months ago, by wenzelm
tuned proofs;
2 months ago, by wenzelm
more ambitious rendering: highlight active area for mouse hovering without modifier;
2 months ago, by wenzelm
tuned proofs;
2 months ago, by wenzelm
show_consts_markup is enabled by default;
2 months ago, by wenzelm
clarified signature (again, reverting ec1023a5c54c);
2 months ago, by wenzelm
clarified signature: more explicit Syntax.print_mode_tabs, depending on print_mode_value ();
2 months ago, by wenzelm
redundant;
2 months ago, by wenzelm
tuned signature;
2 months ago, by wenzelm
performance tuning: cache markup and extern operations;
2 months ago, by wenzelm
minor performance tuning;
2 months ago, by wenzelm
minor performance tuning;
2 months ago, by wenzelm
backout somewhat pointless 5ea48342e0ae: no need to declare syntax consts for translations (e.g. constraints);
2 months ago, by wenzelm

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

isabelle