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

tuned;
2018-10-17, by wenzelm
added Array files
2018-10-17, by nipkow
new theory Abstract_Topology with lots of stuff from HOL Light's metric.sml
2018-10-17, by paulson
more intuitive and simpler (but slower) proofs
2018-10-17, by nipkow
more material on finite maps
2018-10-16, by Lars Hupel
back to jdk-8u181: avoid degraded font-rendering of jdk-11 on Linux;
2018-10-13, by wenzelm
added simp-lemma
2018-10-11, by nipkow
allow to switch ISABELLE_OCAML_VERSION later on;
2018-10-09, by wenzelm
merged
2018-10-09, by Lars Hupel
Jenkins: run ocaml_setup
2018-10-08, by Lars Hupel
added simp-lemma
2018-10-08, by nipkow
support for OCaml via command-line tools;
2018-10-08, by wenzelm
isabelle_opam as portable shell function;
2018-10-08, by wenzelm
added Braun_Tree.thy
2018-10-07, by nipkow
activate jdk-11
2018-10-06, by wenzelm
updated xstream.jar to 1.4.10 for Java 9/10/11 (see http://x-stream.github.io);
2018-10-06, by wenzelm
updated to jdk-11: jre is only a symlink to jdk;
2018-10-06, by wenzelm
support for jdk-11;
2018-10-06, by wenzelm
updated to jdk-11;
2018-10-06, by wenzelm
generalization due to Alexander Maletzky
2018-10-06, by nipkow
discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;
2018-10-05, by wenzelm
more [simp]
2018-10-05, by nipkow
avoid TCP_NODELAY (in contrast to 18c621069bf8): might cause problems with some versions of Ubuntu 18.04;
2018-10-04, by wenzelm
merged
2018-10-04, by paulson
updates to Algebra from Baillon and de Vilhena
2018-10-04, by paulson
use correct hostname
2018-10-04, by Lars Hupel
Jenkins: detect machine; adjust job parameters accordingly
2018-10-04, by Lars Hupel
Jenkins: tuned profiles
2018-10-04, by Lars Hupel
merged
2018-10-04, by nipkow
simplified proofs
2018-10-04, by nipkow
Jenkins: delete obsolete profile
2018-10-04, by Lars Hupel
tuned
2018-10-03, by nipkow
merged
2018-10-03, by wenzelm
unused -- avoid illegal access in Java 11;
2018-10-03, by wenzelm
misc tuning and modernization;
2018-10-03, by wenzelm
merged
2018-10-03, by paulson
merged
2018-09-24, by paulson
cosmetic change to mvt
2018-09-24, by paulson
shuffle -> shuffles
2018-10-03, by nipkow
shuffle -> shuffles
2018-10-03, by nipkow
updated windows_app to launch4j 3.12: "fully supports Java 9 and newer";
2018-10-02, by wenzelm
explicit group "no_doc" for unfinished documentation, allows to suppress everything uniformly: -X doc -X no_doc;
2018-10-02, by wenzelm
reduce tracing messages to make it work in PIDE session;
2018-10-02, by wenzelm
unbounded tracing for proper termination, e.g. relevant for theory Sequents.Hard_Quantifiers;
2018-10-02, by wenzelm
tuned output -- avoid bombing of Scala toplevel, e.g. for AFP deps;
2018-10-01, by wenzelm
more direct implementation of distinct_subgoals_tac -- potentially more efficient;
2018-10-01, by wenzelm
tuned;
2018-10-01, by wenzelm
HOL-SPARK .prv files are no longer written to the file-system;
2018-10-01, by wenzelm
updated to postgresql-42.2.5;
2018-10-01, by wenzelm
merged
2018-09-30, by immler
fix (non-existent) document generation
2018-09-29, by immler
updated to scala-2.12.7;
2018-09-30, by wenzelm
news
2018-09-30, by nipkow
de-emphasize HOL-SPARK: somewhat outdated;
2018-09-30, by wenzelm
proper naming conventions for contexts;
2018-09-30, by wenzelm
permissive declaration attribute "relator_mono", e.g. relevant for Binomial-Heaps.BinomialHeap with -o export_theory;
2018-09-30, by wenzelm
tuned spelling;
2018-09-30, by wenzelm
tuned whitespace and sections;
2018-09-30, by wenzelm
tuned -- eliminated clone;
2018-09-30, by wenzelm
suppress aux. locales from command 'experiment' -- avoid crash of theory Dict_Construction.Test_Dict_Construction (AFP);
2018-09-30, by wenzelm

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

isabelle