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 -60 +60 +100 +300 +1000 +3000 +10000 tip

more standard names;
2014-04-09, by wenzelm
proper context for print_tac;
2014-04-09, by wenzelm
more conventional tactic programming;
2014-04-09, by wenzelm
tuned;
2014-04-09, by wenzelm
reintroduce example (cf. 39281b3e4fac)
2014-04-10, by traytel
use mutual clique information (cf. c451cf8b29c8) to make N2M more robust
2014-04-10, by traytel
made N2M tactic more robust
2014-04-10, by traytel
generate cliques for 'prim(co)rec' N2M
2014-04-09, by blanchet
thread mutual cliques through
2014-04-09, by blanchet
generalize ln/log_powr; add log_base_powr/pow
2014-04-09, by hoelzl
parametricity transfer rule for INFIMUM, SUPREMUM
2014-04-09, by haftmann
add divide_simps
2014-04-09, by hoelzl
field_simps: better support for negation and division, and power
2014-04-09, by hoelzl
revert c1bbd3e22226, a14831ac3023, and 36489d77c484: divide_minus_left/right are again simp rules
2014-04-09, by hoelzl
merged
2014-04-08, by wenzelm
more native rm_tree, using Java 7 facilities;
2014-04-08, by wenzelm
expose more bad cases;
2014-04-08, by wenzelm
tuned signature;
2014-04-08, by wenzelm
more direct interpretation of "warned" status, like "failed" and independently of "finished", e.g. relevant for Rendering.overview_color of aux. files where main command status is unavailable (amending 0546e036d1c0);
2014-04-08, by wenzelm
simplified Text.Chunk -- eliminated ooddities;
2014-04-08, by wenzelm
tuned;
2014-04-08, by wenzelm
more frugal Symbol.Index -- no need to waste space on mostly empty arrays;
2014-04-08, by wenzelm
accumulate markup reports for "other" command ids, which are later retargeted and merged for rendering (in erratic order);
2014-04-08, by wenzelm
avoid data redundancy;
2014-04-08, by wenzelm
tuned signature -- moved Command.Chunk to Text.Chunk;
2014-04-08, by wenzelm
more uniform ML/document antiquotations;
2014-04-08, by wenzelm
obsolete;
2014-04-08, by wenzelm
more positions and markup;
2014-04-08, by wenzelm
more precise token positions;
2014-04-08, by wenzelm
more uniform Command.Chunk operations;
2014-04-08, by wenzelm
more explicit Command.Chunk types, less ooddities;
2014-04-08, by wenzelm
tuned;
2014-04-08, by wenzelm
ignore deps_changed (again) -- avoid proactive load attempts of unfinished header specification while the user is typing;
2014-04-08, by wenzelm
no report for position singularity, notably for aux. file, especially empty one;
2014-04-08, by wenzelm
simplified blob again (amending 1e77ed11f2f7): only store file node name, i.e. the raw editor file name;
2014-04-07, by wenzelm
tuned signature -- prefer static type Document.Node.Name;
2014-04-07, by wenzelm
commented out example that triggers a bug
2014-04-08, by blanchet
allow arguments to 'datatype_compat' in disorder
2014-04-08, by blanchet
added 'datatype_compat' examples/tests
2014-04-08, by blanchet
support deeply nested datatypes in 'datatype_compat'
2014-04-08, by blanchet
preserve user type variable names to avoid mismatches/confusion
2014-04-08, by blanchet
even more standardized doc session names after #b266e7a86485
2014-04-08, by haftmann
refrain from changing jEdit default shortcuts, due to potential for conflicts and actually not working on Mac OS X;
2014-04-07, by wenzelm
support for URL as file name, similar to treatment in jEdit.java;
2014-04-07, by wenzelm
provide old-style ISABELLE_SCALA_SCRIPT for uniformity;
2014-04-07, by wenzelm
separate file_node vs. file_path, e.g. relevant on Windows for hyperlink to the latter;
2014-04-07, by wenzelm
merged
2014-04-06, by nipkow
tuned lemmas: more general class
2014-04-06, by nipkow
tuned proofs;
2014-04-06, by wenzelm
removed abbrev "<-" again (see c771f0fe28d1) due to conflict with important "<->" and "<-->";
2014-04-06, by wenzelm
merged
2014-04-06, by nipkow
made field_simps "more complete"
2014-04-06, by nipkow
shell functions for all Isabelle executables;
2014-04-06, by wenzelm
renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
2014-04-06, by wenzelm
more source positions;
2014-04-06, by wenzelm
clarified position: no offset here;
2014-04-06, by wenzelm
more source positions;
2014-04-06, by wenzelm
approximate ML antiquotation @{here} for Isabelle/Pure bootstrap;
2014-04-06, by wenzelm
clarified ML bootstrap;
2014-04-06, by wenzelm
prepare "back" position for Navigator, before following hyperlink;
2014-04-06, by wenzelm

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

isabelle