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 tip

update to flatlaf-3.6.2;
11 days ago, by wenzelm
merged
11 days ago, by paulson
Removed simp status from list_update_beyond
11 days ago, by paulson
support specific host settings, e.g. for Java heap size;
11 days ago, by wenzelm
proper ML_platform for recursive invocation of ML process, e.g. for "isabelle build -o ML_system_64 HOL-Library" without having non-64 Pure;
11 days ago, by wenzelm
tuned terminology;
11 days ago, by wenzelm
tuned messages;
11 days ago, by Fabian Huch
update to javamail-20251022;
11 days ago, by Fabian Huch
update to find_facts_web-20251022 (roboto 5.2.8);
11 days ago, by Fabian Huch
update to solr-9.9.0 (schema 1.7);
11 days ago, by Fabian Huch
update to hugo-0.152.0;
11 days ago, by Fabian Huch
update polyml-5.9.2: include missing Intel macOS executables;
11 days ago, by wenzelm
more NEWS;
12 days ago, by wenzelm
update to polyml-5.9.2;
12 days ago, by wenzelm
prepare for polyml-5.9.2;
13 days ago, by wenzelm
discontinue ancient "use_thy" operation: does not quite work without Isabelle/Scala session context;
13 days ago, by wenzelm
de-emphasize use_thy;
13 days ago, by wenzelm
reformat source text;
13 days ago, by wenzelm
merged
2 weeks ago, by wenzelm
more NEWS;
2 weeks ago, by wenzelm
proper option tags for "build";
2 weeks ago, by wenzelm
more robust nodes_status_exit: make double-sure that progress.nodes_status is finally empty, even after a crash of the prover process (where command_timings might be missing);
2 weeks ago, by wenzelm
clarified signature: fewer aliases (in contrast to c638af1c3473);
2 weeks ago, by wenzelm
clarified two-stage cleanup;
2 weeks ago, by wenzelm
more robust nodes_status_sync, just before exit/shutdown --- Document.state content gets removed afterwards;
2 weeks ago, by wenzelm
clarified signature: explicit exit_state;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
minor performance tuning;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
more robust reset of console text styles, notably for Windows/Cygwin;
2 weeks ago, by wenzelm
more detailed build progress for Isabelle/jEdit, based on scala.swing.TextPane that allows style attributes;
2 weeks ago, by wenzelm
more robust treatment of parallel sessions;
2 weeks ago, by wenzelm
clarified name;
2 weeks ago, by wenzelm
proper support for output_theory, notably for isabelle.jedit.Session_Build.progress;
2 weeks ago, by wenzelm
more thorough update of nodes_status, while commands are running silently;
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
clarified status_theories: show only running or updated theories;
2 weeks ago, by wenzelm
clarified command_timing protocol: support for still running commands, with timing approximated in Isabelle/Scala;
2 weeks ago, by wenzelm
unused;
2 weeks ago, by wenzelm
recover filter from 9fe2fedc9842;
2 weeks ago, by wenzelm
clarified markup: re-use protocol function name;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
suppress command_timing for forked presentation, to avoid duplicates in Document_Status.Command_Timing leading to wrong percentage;
2 weeks ago, by wenzelm
suppress command_timing for ignored command spans: reduce size of Document_Status.Command_Timings by factor 2;
2 weeks ago, by wenzelm
clarified console output;
2 weeks ago, by wenzelm
clarified command_timing: expose elapsed time only, other fields were never used;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
unused (see also 9fe2fedc9842);
2 weeks ago, by wenzelm
proper status_output for output via Progress.Status mixin;
2 weeks ago, by wenzelm
support explicit message status, e.g. for specific output;
2 weeks ago, by wenzelm
clarified signature: more direct function;
2 weeks ago, by wenzelm
misc tuning and clarification;
2 weeks ago, by wenzelm
verbose output of completed theories;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
more lemmas and instances
2 weeks ago, by haftmann
added lemma
2 weeks ago, by nipkow
Lemmas provided by Manuel Eberl
2 weeks ago, by paulson

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

isabelle