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

update documentation: print mode "latex" only affects syntax tables, but output of symbols;
2 months ago, by wenzelm
misc tuning and clarification;
2 months ago, by wenzelm
clarified section structure;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
tuned signature;
2 months ago, by wenzelm
clarified symbolic output: avoid redundant "block" element for open_block = true;
2 months ago, by wenzelm
clarified signature;
2 months ago, by wenzelm
clarified (again): Markup.intensify is already part of Variable.markup_fixed for undeclared variable, Markup.fixed is already part of Mariable.markup;
2 months ago, by wenzelm
more accurate Symbol.length;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
merged
2 months ago, by wenzelm
more inner-syntax markup;
2 months ago, by wenzelm
obsolete (see a8502d492dde);
2 months ago, by wenzelm
minor performance tuning;
2 months ago, by wenzelm
tuned proofs;
2 months ago, by wenzelm
more inner-syntax markup;
2 months ago, by wenzelm
merged
2 months ago, by nipkow
time_fun: lambdas and lets work now
2 months ago, by nipkow
variable instantiation in Sledgehammer and Metis
2 months ago, by blanchet
prefer rewrite_term_yoyo for improved performance and occasionally better results (conforming to Ast.normalize);
2 months ago, by wenzelm
revert b35c2aa05fcf: redundant due to 89ea66c2045b, if object-logic judgment lacks delimiters;
2 months ago, by wenzelm
clarified position constraints: omit redundant information, e.g. for implicit object-logic judgment;
2 months ago, by wenzelm
unused (see 0199acc01aa8);
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
more robust: avoid ambiguity of contract_abbrevs;
2 months ago, by wenzelm
misc tuning: more concise (or hermetic) pointfree style;
2 months ago, by wenzelm
provide rewrite_term_yoyo, which is analogous to Ast.normalize;
2 months ago, by wenzelm
tuned signature;
2 months ago, by wenzelm

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

isabelle