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 -96 tip

tuned: fewer warnings with scalac -Wunused:all;
8 days ago, by wenzelm
back to scala-3.3.4: scalac in 3.3.5 is more than 2 times slower;
8 days ago, by wenzelm
removed unused imports;
8 days ago, by wenzelm
proper Boolean polarity (amending 527daf6823fb after 3b0f8f1010f2);
8 days ago, by wenzelm
merged
9 days ago, by wenzelm
Added tag Isabelle2025-RC2 for changeset 5888f0bec971
10 days ago, by wenzelm
add document options to build_sync, since Sessions.Info is read from export database for document generation (amending 6e5397fcc41b);
8 days ago, by Fabian Huch
A couple of additional lemmas
8 days ago, by paulson
merged
8 days ago, by desharna
tuned Sledgehammer's TPTP generation
8 days ago, by desharna
relative paths;
9 days ago, by Fabian Huch
handle path change properly;
9 days ago, by Fabian Huch
proper relative paths;
9 days ago, by Fabian Huch
remove limit on boolean clauses in Solr, introduced in "fix" SOLR-13336;
10 days ago, by Fabian Huch
less ambitious test, thanks to 1126ee407227; Isabelle2025-RC2
11 days ago, by wenzelm
more documentation;
11 days ago, by wenzelm
tuned NEWS for release;
11 days ago, by wenzelm
tuned GUI: no scroll_bottom for completely different output;
11 days ago, by wenzelm
tuned GUI: preserve horizontal scrollbar position;
11 days ago, by wenzelm
tuned: more robust Isabelle symbols;
11 days ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
11 days ago, by wenzelm
tuned message;
11 days ago, by wenzelm
more complete brackets for jEdit modes;
11 days ago, by wenzelm
tuned: more robust Isabelle symbols;
11 days ago, by wenzelm
clarified modules: more robust Isabelle symbols;
11 days ago, by wenzelm
more thorough "isabelle check_sources";
11 days ago, by wenzelm
streamlined and actually integrated
11 days ago, by haftmann
merged
12 days ago, by nipkow
added lemma
12 days ago, by nipkow
merged
12 days ago, by Fabian Huch
add find_facts_web component;
12 days ago, by Fabian Huch
web component for Find_Facts: bundled assets and compiled elm app;
12 days ago, by Fabian Huch
clarified;
12 days ago, by Fabian Huch
clarified output file;
12 days ago, by Fabian Huch
clarified;
13 days ago, by Fabian Huch
tuned;
13 days ago, by Fabian Huch
tuned: use Isabelle symbols for icons;
2 weeks ago, by Fabian Huch
css service, e.g. for dynamic web apps;
2 weeks ago, by Fabian Huch
more mime types;
2 weeks ago, by Fabian Huch
proper error message for missing elm component;
2 weeks ago, by Fabian Huch
clarified web;
2 weeks ago, by Fabian Huch
more syntax update
12 days ago, by nipkow
updated syntax
13 days ago, by nipkow
more accurate rail diagram (amending de9d43c427ae);
13 days ago, by wenzelm
merged
2 weeks ago, by nipkow
added Example theory
2 weeks ago, by nipkow
merged
2 weeks ago, by paulson
Minor lemma tweaking
2 weeks ago, by paulson
merged
2 weeks ago, by wenzelm
merged
2 weeks ago, by wenzelm
tuned output;
2 weeks ago, by wenzelm
tuned comments;
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
avoid tmp files to improve robustness on Windows, where ERROR_PATH_NOT_FOUND has been seen (see also 569135d7352a);
2 weeks ago, by wenzelm
tuned signature: more operations (following Isabelle/Scala);
2 weeks ago, by wenzelm
more operations;
2 weeks ago, by wenzelm
clarified signature: re-use existing Process_Result.T (NB: err_lines are de-facto program startup errors, anything else is redirected to out_lines);
2 weeks ago, by wenzelm
tuned signature: more explicit operations;
2 weeks ago, by wenzelm
tuned output;
2 weeks ago, by wenzelm
misc tuning;
2 weeks ago, by wenzelm
tuned Isabelle/ML: more uniform semicolons;
2 weeks ago, by wenzelm
clarified signature: scalable Bash.input thanks to Bytes.T;
2 weeks ago, by wenzelm
added time_partial_function command
2 weeks ago, by nipkow
A couple of theorems proved by Manuel Eberl from his AFP entry Sum_Of_Squares_Count
2 weeks ago, by paulson
tuned;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
tuned signature;
2 weeks ago, by wenzelm
proper Path.print for user output (amending 9498623b27f0);
2 weeks ago, by wenzelm
tuned signature: more concise access to context data;
2 weeks ago, by wenzelm
tuned English prose;
2 weeks ago, by wenzelm
merged
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
more uniform cleanup;
2 weeks ago, by wenzelm
tuned messages;
2 weeks ago, by wenzelm
more robust: avoid expand_path, which requires "bin/isabelle getenv";
2 weeks ago, by wenzelm
NEWS;
2 weeks ago, by wenzelm
enforce fresh build of HOL-Codegenerator_Test;
2 weeks ago, by wenzelm
more platforms (untested);
2 weeks ago, by wenzelm
update to mlton-20241230-1 using recent builds from https://sourceforge.net/projects/mlton;
2 weeks ago, by wenzelm
update to scala-3.3.5;
2 weeks ago, by wenzelm
update for release;
2 weeks ago, by wenzelm
Added tag Isabelle2025-RC1 for changeset ba3220909221
2 weeks ago, by wenzelm
merged
2 weeks ago, by paulson
nat_diff_split lemmas
2 weeks ago, by paulson
NEWS
2 weeks ago, by desharna
tuned whitespace
2 weeks ago, by desharna
added lemmas ex_terminating_rtranclp_strong and ex_terminating_rtranclp Isabelle2025-RC1
2 weeks ago, by desharna
added lemma strict_partial_order_wfp_on_finite_set
2 weeks ago, by desharna
proper order of operations: archive before purge;
2 weeks ago, by wenzelm
more robust (see also 9601f5582f33);
2 weeks ago, by wenzelm
tuned spelling;
2 weeks ago, by wenzelm
clarified NEWS: not user-relevant;
2 weeks ago, by wenzelm
tuned documentation;
2 weeks ago, by wenzelm
clarified default of flatlaf.useNativeLibrary=false, for cross-platform GUI uniformity;
2 weeks ago, by wenzelm
just one flatlaf version: native libraries are optional;
2 weeks ago, by wenzelm

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

isabelle