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 tip

less verbosity by default, notably for regular "isabelle build -o document";
2023-02-01, by wenzelm
clarified message: old-style log is usually empty;
2023-02-01, by wenzelm
clarified messages, notably for session "Intro";
2023-02-01, by wenzelm
merged
2023-02-01, by wenzelm
more general program start message;
2023-02-01, by wenzelm
clarified terminology of inlined "PROGRAM START" messages;
2023-02-01, by wenzelm
isabelle update -u cite -l "";
2023-02-01, by wenzelm
less ambitious parallelism: avoid exhaustion of memory (40GB total);
2023-02-01, by wenzelm
clarified GUI;
2023-02-01, by wenzelm
clarified GUI: omit pointless search buttons, as real output is shown as markup;
2023-02-01, by wenzelm
more uniform use of Symbol.output, even in situations where its Symbol.encode is usually redundant;
2023-02-01, by wenzelm
merged
2023-02-01, by paulson
More new material thanks to Manuel
2023-02-01, by paulson
merged
2023-02-01, by nipkow
tuning
2023-02-01, by nipkow
alternate AFP tests on lrzcloud2, to fit better into one day;
2023-01-31, by wenzelm
merged
2023-01-31, by wenzelm
support document preparation from already loaded theories;
2023-01-31, by wenzelm
clarified GUI events;
2023-01-31, by wenzelm
clarified GUIs: keep related buttons together;
2023-01-31, by wenzelm
proper program name, e.g. for session "Intro";
2023-01-31, by wenzelm
clarified GUI events: reset everything on session context switch;
2023-01-31, by wenzelm
clarified GUI events: ensure fresh output when switching pages;
2023-01-31, by wenzelm
clarified GUI: avoid odd jumping pages on "Cancel";
2023-01-31, by wenzelm
clarified GUI events;
2023-01-31, by wenzelm
more accurate output: avoid output_body from last run;
2023-01-31, by wenzelm
more accurate output: avoid output_main from last run;
2023-01-31, by wenzelm
removed unused operation from 3f50b24909df;
2023-01-31, by wenzelm
clarified guard: avoid spurious auto builds;
2023-01-31, by wenzelm
automatically build document when selected theories are finished;
2023-01-31, by wenzelm
more accurate Word.capitalize: do not touch name;
2023-01-31, by wenzelm
defer build until document nodes are ready;
2023-01-31, by wenzelm
clarified signature: prefer semantic status;
2023-01-31, by wenzelm
removed obsolete parameter (see 7c23db6b857b);
2023-01-31, by wenzelm
clarified Document_Editor.Session: more explicit types, more robust operations;
2023-01-31, by wenzelm
more operations;
2023-01-30, by wenzelm
clarified operation (without change of signature!);
2023-01-30, by wenzelm
pointless
2023-01-31, by nipkow
Lots more new material thanks to Manuel Eberl
2023-01-31, by paulson
merged
2023-01-30, by paulson
Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl
2023-01-30, by paulson
observe option "show_states" in headless server (see also 951abf9db857);
2023-01-30, by wenzelm
text correction
2023-01-30, by nipkow
enable clean_components by default: it saves a lot of local disk space, notably on virtual nodes;
2023-01-29, by wenzelm
merged
2023-01-28, by wenzelm
removed somewhat pointless support for Jenkins log files: it has stopped working long ago;
2023-01-28, by wenzelm
more uniform components context for the managing "self_isabelle" and the managed "other_isabelle";
2023-01-28, by wenzelm
tuned signature;
2023-01-28, by wenzelm
more operations;
2023-01-28, by wenzelm
obsolete (see also d547173212d2);
2023-01-28, by wenzelm
clarified names to emphasize suble differences in meaning;
2023-01-28, by wenzelm
prefer high-level Other_Isabelle.bash over low-level SSH.execute;
2023-01-28, by wenzelm
unused (see 378bb7a739c3);
2023-01-28, by wenzelm
more options to manage resolved components;
2023-01-28, by wenzelm
proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle system (amending 3e963d68d394);
2023-01-28, by wenzelm
tuned comments;
2023-01-28, by wenzelm
tuned;
2023-01-28, by wenzelm
clarified signature: more explicit types;
2023-01-28, by wenzelm
more operations;
2023-01-28, by wenzelm
tuned;
2023-01-28, by wenzelm

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

isabelle