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;
11 months ago, by wenzelm
more formal theory and session names;
11 months ago, by wenzelm
proper NEWS after Isabelle2021;
11 months ago, by wenzelm
updated descriptions;
11 months ago, by wenzelm
allow system option short form NAME for NAME=true for type string, not just bool;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
more robust within session "HOL";
11 months ago, by wenzelm
merged
11 months ago, by wenzelm
suppress theories from other sessions, unless explicitly specified via mirabelle_theories;
11 months ago, by wenzelm
clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT);
11 months ago, by wenzelm
refer to theory "segments" only, according to global Build.build_theories and Thy_Info.use_theories;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
more uniform schedule_theories, notably for "present" and "commit" phase after loading;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
moved more legacy to AFP
11 months ago, by haftmann
clarified modules;
11 months ago, by wenzelm
clarified check (refining fc828f64da5b): etc/settings or etc/components is not strictly required according to "init_component", and notable components only have session ROOTS (e.g. AFP/thys);
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
more thorough update of required files (amending 1529c3eb6bac);
11 months ago, by wenzelm
clarified examples;
11 months ago, by wenzelm
tuned proofs;
11 months ago, by wenzelm
misc tuning --- following hints by Jørgen Villadsen (see also 1ce1bc9ff64a);
11 months ago, by wenzelm
tuned --- reduced source complexity;
11 months ago, by wenzelm
proper usage (amending f7ea394490f5);
11 months ago, by wenzelm
merged, resolving minor conflict;
11 months ago, by wenzelm
allow build session setup, e.g. for protocol handlers;
11 months ago, by wenzelm
unused;
11 months ago, by wenzelm
tuned --- potentially more robust (e.g. session.phase_changed vs. isabelle_process.terminated);
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
removed pointless option (see 3d0952893db8);
11 months ago, by wenzelm
tuned --- avoid redundant future tasks from already loaded theories;
11 months ago, by wenzelm
no comment --- topological order appears to be fine since 04-Mar-2013;
11 months ago, by wenzelm
more predictable sequential presentation (2f9877db82a1), without somewhat pointless result_ord (e7fab0b5dbe7);
11 months ago, by wenzelm
moved stride option from sledgehammer action to main mirabelle
11 months ago, by desharna
merged
11 months ago, by paulson
new lemmas mostly about paths
11 months ago, by paulson
lexorders the locale way
12 months ago, by haftmann
more accurate export morphism enables proper instantiation by interpretation
12 months ago, by haftmann
merged
12 months ago, by paulson
some new and/or varient results about images
12 months ago, by paulson
nicer statement of Liouville_theorem
12 months ago, by paulson
more lemmas
12 months ago, by haftmann
max word moved to Word_Lib in AFP
12 months ago, by haftmann
more robust syntax;
12 months ago, by wenzelm
unused;
12 months ago, by wenzelm
clarified document export names;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
avoid former verbose_latex, which has been renamed to verbose in 52030acb19ac;
12 months ago, by wenzelm
compose Latex text as XML, output exported YXML in Isabelle/Scala;
12 months ago, by wenzelm
more direct index_entry: no positions required -- text is eventually moved to .ind file;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");
12 months ago, by wenzelm
tuned message, e.g. for Pure bootstrap;
12 months ago, by wenzelm
proper signature export (amending b50f8cc8c08e);
12 months ago, by wenzelm
syslog option for "isabelle build";
12 months ago, by wenzelm
further "unset CDPATH", whenever a new non-interactive bash is started (see also ac07f6be27ea);
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
NEWS;
12 months ago, by wenzelm

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

isabelle