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 tip

more robust: avoid division by zero;
5 weeks ago, by wenzelm
pretty margin <= 0 means no margin;
5 weeks ago, by wenzelm
provide explicit attribute for singleton default equations
5 weeks ago, by haftmann
make preprocessor setup confluent
5 weeks ago, by haftmann
dropped unused operations
5 weeks ago, by haftmann
prefer regular code declarations
6 weeks ago, by haftmann
merged
5 weeks ago, by wenzelm
tuned comments;
6 weeks ago, by wenzelm
tuned signature;
6 weeks ago, by wenzelm
tuned source structure: ml_settings operations implicitly assume init;
6 weeks ago, by wenzelm
Simple facts about Lebesgue integration
6 weeks ago, by paulson
merged
6 weeks ago, by nipkow
use prove_internal instead of prove in list to set simproc to avoid incomplete matching sanity check
6 weeks ago, by nipkow
prefer concise "isabelle process_theories", which only uses the required theories;
6 weeks ago, by wenzelm
support for "isabelle process_theories -E EXPORTS";
6 weeks ago, by wenzelm
Removed an SMT call
6 weeks ago, by paulson
more robust, notably for Isabelle/MAWEN "polyminus.sml matchsub (?a * (?b - ?c)...";
6 weeks ago, by wenzelm
prefer existing proof in Abstract_Topological_Spaces
6 weeks ago, by nipkow
tuned
6 weeks ago, by nipkow
tuned proof to reduce duplication and validation time
6 weeks ago, by desharna
proper naming for definitions in nested context based upon class target
7 weeks ago, by haftmann
tuned name
7 weeks ago, by haftmann
tuned signature;
7 weeks ago, by wenzelm
discontinue odd test for obsolete manual (see also 2288a6f17930);
7 weeks ago, by wenzelm
no special tag for transient option;
7 weeks ago, by wenzelm
obsolete (see 5d562dd387ae);
7 weeks ago, by wenzelm
avoid legacy operations;
7 weeks ago, by wenzelm
update to flatlaf-3.6.1 and related jsvg-2.0.0;
7 weeks ago, by wenzelm
build logic image in persistent store, without private_dir;
7 weeks ago, by wenzelm
proper session dirs;
7 weeks ago, by wenzelm
tuned spelling;
7 weeks ago, by wenzelm
support for explicit session directory;
7 weeks ago, by wenzelm
update documentation, following 71ffc2c22348;
7 weeks ago, by wenzelm
explicit "isabelle process_theories -U" as in "isabelle build_log";
7 weeks ago, by wenzelm
clarified signature: fewer operations;
7 weeks ago, by wenzelm
merged
7 weeks ago, by wenzelm
tunes messages;
7 weeks ago, by wenzelm
more NEWS and documentation;
7 weeks ago, by wenzelm
prefer Process_Theories over raw ML_Process;
7 weeks ago, by wenzelm
tuned signature: more explicit operations;
7 weeks ago, by wenzelm
tuned;
7 weeks ago, by wenzelm
tuned signature: more defaults;
7 weeks ago, by wenzelm
prefer system options, which are easier to change on the spot;
7 weeks ago, by wenzelm
prefer compact theory + ML module;
7 weeks ago, by wenzelm
support output of prover messages;
7 weeks ago, by wenzelm
tuned signature: more explicit operations;
7 weeks ago, by wenzelm
Process theories within an adhoc session context.
7 weeks ago, by wenzelm
tuned signature;
7 weeks ago, by wenzelm
explicit option "show_results" for persistent messages;
7 weeks ago, by wenzelm
clarified signature: more detailed result;
7 weeks ago, by wenzelm
support private_dir for transient output;
7 weeks ago, by wenzelm
clarified signature;
7 weeks ago, by wenzelm
Generalised a theorem about Lebesgue integration
7 weeks ago, by paulson
update to jdk-21.0.8;
7 weeks ago, by wenzelm
avoid legacy operations;
7 weeks ago, by wenzelm
tuned whitespace;
7 weeks ago, by wenzelm
avoid legacy operations;
7 weeks ago, by wenzelm
tuned proofs;
7 weeks ago, by wenzelm
more ambitious ISABELLE_JAVA_SYSTEM_OPTIONS, following 1a4be2516f50;
7 weeks ago, by wenzelm
tuned;
7 weeks ago, by wenzelm

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

isabelle