13 months ago ago wenzelm tuned;
13 months ago ago wenzelm merged
13 months ago ago wenzelm avoid strict evaluation of "isabelle_stack path --programs";
13 months ago ago wenzelm enforce settings that are likely to be outdated, e.g. in $ISABELLE_HOME_USER/etc/settings;
13 months ago ago wenzelm support for GHC via command-line tools;
13 months ago ago wenzelm tuned;
13 months ago ago wenzelm tuned message;
13 months ago ago wenzelm auto update;
13 months ago ago wenzelm isabelle_stack as portable shell function;
13 months ago ago wenzelm tuned;
13 months ago ago nipkow added Array files
13 months ago ago paulson new theory Abstract_Topology with lots of stuff from HOL Light's metric.sml
13 months ago ago nipkow more intuitive and simpler (but slower) proofs
13 months ago ago Lars Hupel more material on finite maps
14 months ago ago wenzelm back to jdk-8u181: avoid degraded font-rendering of jdk-11 on Linux;
14 months ago ago nipkow added simp-lemma
14 months ago ago wenzelm allow to switch ISABELLE_OCAML_VERSION later on;
14 months ago ago Lars Hupel merged
14 months ago ago nipkow added simp-lemma
14 months ago ago Lars Hupel Jenkins: run ocaml_setup
14 months ago ago wenzelm support for OCaml via command-line tools;
14 months ago ago wenzelm isabelle_opam as portable shell function;
14 months ago ago nipkow added Braun_Tree.thy
14 months ago ago wenzelm activate jdk-11
14 months ago ago wenzelm updated xstream.jar to 1.4.10 for Java 9/10/11 (see http://x-stream.github.io);
14 months ago ago wenzelm updated to jdk-11: jre is only a symlink to jdk;
14 months ago ago wenzelm support for jdk-11;
14 months ago ago wenzelm updated to jdk-11;
14 months ago ago nipkow generalization due to Alexander Maletzky
14 months ago ago wenzelm discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;
14 months ago ago nipkow more [simp]
14 months ago ago wenzelm avoid TCP_NODELAY (in contrast to 18c621069bf8): might cause problems with some versions of Ubuntu 18.04;
14 months ago ago paulson merged
14 months ago ago Lars Hupel use correct hostname
14 months ago ago paulson updates to Algebra from Baillon and de Vilhena
14 months ago ago Lars Hupel Jenkins: detect machine; adjust job parameters accordingly
14 months ago ago Lars Hupel Jenkins: tuned profiles
14 months ago ago nipkow merged
14 months ago ago Lars Hupel Jenkins: delete obsolete profile
14 months ago ago nipkow simplified proofs
14 months ago ago nipkow tuned
14 months ago ago wenzelm merged
14 months ago ago wenzelm unused -- avoid illegal access in Java 11;
14 months ago ago wenzelm misc tuning and modernization;
14 months ago ago paulson merged
14 months ago ago nipkow shuffle -> shuffles
14 months ago ago paulson merged
14 months ago ago paulson cosmetic change to mvt
14 months ago ago nipkow shuffle -> shuffles
14 months ago ago wenzelm updated windows_app to launch4j 3.12: "fully supports Java 9 and newer";
14 months ago ago wenzelm explicit group "no_doc" for unfinished documentation, allows to suppress everything uniformly: -X doc -X no_doc;
14 months ago ago wenzelm reduce tracing messages to make it work in PIDE session;
14 months ago ago wenzelm unbounded tracing for proper termination, e.g. relevant for theory Sequents.Hard_Quantifiers;
14 months ago ago wenzelm tuned output -- avoid bombing of Scala toplevel, e.g. for AFP deps;
14 months ago ago wenzelm more direct implementation of distinct_subgoals_tac -- potentially more efficient;
14 months ago ago wenzelm tuned;
14 months ago ago wenzelm HOL-SPARK .prv files are no longer written to the file-system;
14 months ago ago wenzelm updated to postgresql-42.2.5;
14 months ago ago immler merged
14 months ago ago wenzelm updated to scala-2.12.7;