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

tuned;
2016-04-01, by wenzelm
more operations (cf. Scala version);
2016-04-01, by wenzelm
tuned whitespace;
2016-04-01, by wenzelm
explicit property for unbreakable block;
2016-04-01, by wenzelm
unused;
2016-04-01, by wenzelm
tuned markup;
2016-04-01, by wenzelm
clarified treatment of properties;
2016-04-01, by wenzelm
more robust pretty printing: permissive treatment of bad values;
2016-04-01, by wenzelm
adapted to Poly/ML repository version 2e40cadc975a;
2016-04-01, by wenzelm
explicit mixfix block properties;
2016-03-31, by wenzelm
clarified modules;
2016-03-31, by wenzelm
tuned signature;
2016-03-31, by wenzelm
reintroduced check that may guard some tactic failures
2016-04-01, by blanchet
adapt theory names within the theory
2016-04-01, by blanchet
made tactic more robust
2016-03-31, by traytel
tuned interface
2016-03-31, by traytel
merged
2016-03-30, by wenzelm
proper object-logic constraint (amending dd2914250ca7);
2016-03-30, by wenzelm
reconcile object-logic constraint vs. mixfix constraint;
2016-03-30, by wenzelm
more explicit support for object-logic constraint;
2016-03-30, by wenzelm
more language markup;
2016-03-30, by wenzelm
more accurate mixfix type constraints;
2016-03-30, by wenzelm
tuned;
2016-03-30, by wenzelm
tuned message;
2016-03-30, by wenzelm
more explicit type;
2016-03-30, by wenzelm
relevant check_mixfix happens further at the bottom, to avoid duplicate reports via Specification.prepare;
2016-03-30, by wenzelm
avoid duplicate reports;
2016-03-30, by wenzelm
tuned messages -- position is usually missing here;
2016-03-30, by wenzelm
more PIDE markup;
2016-03-30, by wenzelm
clarified modules;
2016-03-30, by wenzelm
clarified errors: more positions;
2016-03-30, by wenzelm
clarified simple mixfix;
2016-03-30, by wenzelm
tuned;
2016-03-30, by wenzelm
more operations;
2016-03-30, by wenzelm
updated dependencies;
2016-03-30, by wenzelm
updated to Navigator 2.6;
2016-03-30, by wenzelm
more 'corec' docs
2016-03-30, by blanchet
merged
2016-03-29, by wenzelm
proper session dirs for "isabelle jedit" and "isabelle console" with options -d and -l;
2016-03-29, by wenzelm
tuned messages -- more positions;
2016-03-29, by wenzelm
more position information for type mixfix;
2016-03-29, by wenzelm
tuned signature;
2016-03-29, by wenzelm
proper norm_props, e.g. relevant for ML pp;
2016-03-29, by wenzelm
clarified reports;
2016-03-29, by wenzelm
tuned signature;
2016-03-29, by wenzelm
more 'corec' docs
2016-03-29, by blanchet
tuning
2016-03-29, by blanchet
more 'corec' docs
2016-03-29, by blanchet
try tactics in right order w.r.t. schematics
2016-03-29, by blanchet
more natural order for 'cong_intros'
2016-03-29, by blanchet
more 'corec' documentation
2016-03-29, by blanchet
renamed generated theorem
2016-03-29, by blanchet
tuning
2016-03-29, by blanchet
added sketchy 'corec' documentation
2016-03-29, by blanchet
compile
2016-03-28, by blanchet
updated Sledgehammer documentation
2016-03-28, by blanchet
a more generous hard timeout
2016-03-28, by blanchet
early warning when Sledgehammer finds a proof
2016-03-28, by blanchet
another 'corec' example
2016-03-28, by blanchet
don't ask too much of 'transfer_prover'
2016-03-28, by blanchet

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

isabelle