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 tip

tuned;
12 months ago, by wenzelm
more thorough update of required files (amending 1529c3eb6bac);
12 months ago, by wenzelm
clarified examples;
12 months ago, by wenzelm
tuned proofs;
12 months ago, by wenzelm
misc tuning --- following hints by Jørgen Villadsen (see also 1ce1bc9ff64a);
12 months ago, by wenzelm
tuned --- reduced source complexity;
12 months ago, by wenzelm
proper usage (amending f7ea394490f5);
12 months ago, by wenzelm
merged, resolving minor conflict;
12 months ago, by wenzelm
allow build session setup, e.g. for protocol handlers;
12 months ago, by wenzelm
unused;
12 months ago, by wenzelm
tuned --- potentially more robust (e.g. session.phase_changed vs. isabelle_process.terminated);
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
removed pointless option (see 3d0952893db8);
12 months ago, by wenzelm
tuned --- avoid redundant future tasks from already loaded theories;
12 months ago, by wenzelm
no comment --- topological order appears to be fine since 04-Mar-2013;
12 months ago, by wenzelm
more predictable sequential presentation (2f9877db82a1), without somewhat pointless result_ord (e7fab0b5dbe7);
12 months ago, by wenzelm
moved stride option from sledgehammer action to main mirabelle
12 months ago, by desharna
merged
12 months ago, by paulson
new lemmas mostly about paths
12 months ago, by paulson
lexorders the locale way
12 months ago, by haftmann
more accurate export morphism enables proper instantiation by interpretation
13 months ago, by haftmann
merged
13 months ago, by paulson
some new and/or varient results about images
13 months ago, by paulson
nicer statement of Liouville_theorem
13 months ago, by paulson
more lemmas
13 months ago, by haftmann
max word moved to Word_Lib in AFP
13 months ago, by haftmann
more robust syntax;
13 months ago, by wenzelm
unused;
13 months ago, by wenzelm
clarified document export names;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
avoid former verbose_latex, which has been renamed to verbose in 52030acb19ac;
13 months ago, by wenzelm
compose Latex text as XML, output exported YXML in Isabelle/Scala;
13 months ago, by wenzelm
more direct index_entry: no positions required -- text is eventually moved to .ind file;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");
13 months ago, by wenzelm
tuned message, e.g. for Pure bootstrap;
13 months ago, by wenzelm
proper signature export (amending b50f8cc8c08e);
13 months ago, by wenzelm
syslog option for "isabelle build";
13 months ago, by wenzelm
further "unset CDPATH", whenever a new non-interactive bash is started (see also ac07f6be27ea);
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
NEWS;
13 months ago, by wenzelm
clarified index, more like formal @{element_ref};
13 months ago, by wenzelm
clarified treatment of type constructors;
13 months ago, by wenzelm
misc tuning and clarification;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
clarified context;
13 months ago, by wenzelm
more uniform document antiquotations for ML: consolidate former setup for manuals;
13 months ago, by wenzelm
clarified names;
13 months ago, by wenzelm
clarified index antiquotation for ML: more ambitious type-setting, more accurate syntax;
13 months ago, by wenzelm
clarified modules;
13 months ago, by wenzelm
clarified modules;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
clarified signature: avoid dispatch via name;
13 months ago, by wenzelm
clarified, e.g. type variables;
13 months ago, by wenzelm
tuned index;
13 months ago, by wenzelm
more ambitious default for index "is like";
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
support for index entries;
13 months ago, by wenzelm

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

isabelle