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 +10000 tip

Removed multiplicativity assumption from normalization_semidom
2020-01-21, by Manuel Eberl
clarified file names;
2020-01-19, by wenzelm
clarified build_polyml_component: include IDE entry point for ML compiler;
2020-01-19, by wenzelm
merged
2020-01-19, by wenzelm
tuned spelling;
2020-01-17, by wenzelm
new examples of BNF lifting across quotients using a new theory of confluence,
2020-01-19, by traytel
Removed unnecessary and problematic trivial lemma from HOL-Algebra
2020-01-17, by Manuel Eberl
proper executable file;
2020-01-16, by wenzelm
more documentation: odd option for special situations;
2020-01-16, by wenzelm
tuned;
2020-01-16, by wenzelm
updated to sumatra_pdf-3.1.2-1: x86_64-windows;
2020-01-16, by wenzelm
updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
2020-01-16, by wenzelm
updated to opam-2.0.6;
2020-01-16, by wenzelm
updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
2020-01-16, by wenzelm
updated to jdk-11.0.6+10;
2020-01-15, by wenzelm
misc tuning, following hint by IntelliJ;
2020-01-15, by wenzelm
tuned;
2020-01-15, by wenzelm
tuned -- avoid deprecated constructors;
2020-01-15, by wenzelm
proper comparison of Option values, following hint by IntelliJ;
2020-01-15, by wenzelm
unused -- clone of Option.apply;
2020-01-15, by wenzelm
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
2020-01-15, by wenzelm
unused;
2020-01-15, by wenzelm
more antiquotations;
2020-01-14, by wenzelm
tuned messages;
2020-01-13, by wenzelm
tuned;
2020-01-13, by wenzelm
clarified output channel;
2020-01-13, by wenzelm
clarified option -f: avoid accidental target_clean for proper release snapshot;
2020-01-13, by wenzelm
more robust;
2020-01-12, by wenzelm
updated to sqlite-jdbc-3.30.1;
2020-01-12, by wenzelm
updated to postgresql-42.2.9;
2020-01-12, by wenzelm
build in $ISABELLE_HOME;
2020-01-12, by wenzelm
build in $ISABELLE_HOME;
2020-01-12, by wenzelm
clarified fresh build;
2020-01-11, by wenzelm
tuned documentation;
2020-01-11, by wenzelm
tuned;
2020-01-11, by wenzelm
clarified script name;
2020-01-10, by wenzelm
prefer mercurial-2.8.2 for more robustness (i.e. the version used by the hosting service https://admin.phacility.com);
2020-01-10, by wenzelm
proper name;
2020-01-09, by wenzelm
more Isabelle fonts, notably for File Browser title in GTK L&F;
2020-01-09, by wenzelm
eliminated deprecated scala.collection.JavaConversions;
2020-01-09, by wenzelm
unused;
2020-01-09, by wenzelm
tuned -- more direct java.util.Map.of;
2020-01-09, by wenzelm
added lemma
2020-01-09, by nipkow
merged
2020-01-07, by traytel
eliminated one redundant proof obligation in lift_bnf for quotients
2020-01-07, by traytel
removed experimental option to SPASS
2020-01-07, by blanchet
alternative deletion in Red-Black trees
2020-01-07, by nipkow
generalized thm (as suggested by Christian Weinz)
2020-01-07, by nipkow
tunded
2020-01-07, by nipkow
tuned
2019-12-28, by nipkow
tuned
2019-12-28, by nipkow
more examples;
2019-12-27, by wenzelm
tuned
2019-12-27, by nipkow
tuned
2019-12-24, by nipkow
tuned;
2019-12-23, by wenzelm
NEWS;
2019-12-23, by wenzelm
updated platform situation: 32bit variants are marginal or absent;
2019-12-23, by wenzelm
repackage as csdp-6.1-1, with proper platform names;
2019-12-23, by wenzelm
proper File.platform_path for Windows;
2019-12-23, by wenzelm
updated csdp-6.1: Linux and Windows executables are as before, but macOS has been rebuilt for x86_64 (to accommodate Catalina);
2019-12-23, by wenzelm

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

isabelle