isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 +10000 tip

tuned whitespace;
2018-11-03, by wenzelm
support for Isabelle tools in Haskell;
2018-11-03, by wenzelm
tuned comments;
2018-11-03, by wenzelm
more operations;
2018-11-03, by wenzelm
support for Isabelle tool development in Haskell;
2018-11-01, by wenzelm
tagged a theory for the Analysis manual
2018-11-01, by Angeliki KoutsoukouArgyraki
more
2018-11-01, by blanchet
too many clashes with "root" on reals
2018-11-01, by nipkow
added and renamed functions
2018-11-01, by nipkow
added an example
2018-11-01, by blanchet
clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
2018-10-31, by wenzelm
tuned;
2018-10-31, by wenzelm
tuned;
2018-10-31, by wenzelm
merged
2018-10-30, by wenzelm
tuned example;
2018-10-30, by wenzelm
added GHC.read_source: read Haskell source text with antiquotations;
2018-10-30, by wenzelm
tuned -- prefer GHC.print_codepoint;
2018-10-30, by wenzelm
support for GHC: string literals;
2018-10-30, by wenzelm
some support for UTF-8 (similar to Isabelle/Scala version);
2018-10-30, by wenzelm
clarified signature;
2018-10-30, by wenzelm
tuned name
2018-10-30, by nipkow
add reconstruction by veriT in method smt
2018-10-30, by fleury
split SMT reconstruction into library
2018-10-30, by fleury
added lemmas
2018-10-28, by nipkow
suppress "FreeMarker Template Language" file extension for the sake of SAD3/ForTheL;
2018-10-28, by wenzelm
merged
2018-10-28, by nipkow
tuned names
2018-10-28, by nipkow
more robust: allow log to be a symlink;
2018-10-27, by wenzelm
moved lemmas
2018-10-27, by nipkow
tuned
2018-10-26, by nipkow
tuned and added lemmas
2018-10-26, by nipkow
avoid abbreviation that is used only locally
2018-10-26, by nipkow
dedicated theory for sorting algorithms
2018-10-26, by haftmann
merged
2018-10-26, by nipkow
more combinatorics lemmas
2018-10-26, by nipkow
proper environment for variable folding;
2018-10-26, by wenzelm
merged
2018-10-25, by wenzelm
NEWS;
2018-10-25, by wenzelm
updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv;
2018-10-25, by wenzelm
clarified ML position: proper markup for def/ref scopes (see also 162a4c2e97bc);
2018-10-25, by wenzelm
updated to jdk-11+28 from https://adoptopenjdk.net -- with proper font rendering on Linux;
2018-10-25, by wenzelm
proper completion for @{named_theorems};
2018-10-25, by wenzelm
executable comparators apt for sorting
2018-10-25, by haftmann
tuned grammar
2018-10-25, by haftmann
more and generalized lemmas
2018-10-25, by haftmann
Jenkins: delete obsolete profile
2018-10-23, by Lars Hupel
Tagged some theories in HOL-Analysis
2018-10-22, by Manuel Eberl
proper chapter;
2018-10-22, by wenzelm
tuned messages;
2018-10-22, by wenzelm
tuned signature;
2018-10-22, by wenzelm
tuned messages;
2018-10-22, by wenzelm
more robust: check archive ident;
2018-10-22, by wenzelm
misc tuning and clarification;
2018-10-22, by wenzelm
tagged 8 theories for the Analysis manual.
2018-10-21, by Angeliki KoutsoukouArgyraki
merged
2018-10-21, by wenzelm
more robust release.read_ident: eliminated odd state files ISABELLE_IDENT, ISABELLE_DIST;
2018-10-21, by wenzelm
more portable tar_options;
2018-10-21, by wenzelm
check (non-)executable files -- and eliminate them manually from the repository)
2018-10-21, by wenzelm
eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
2018-10-21, by wenzelm
tuned signature;
2018-10-21, by wenzelm
tuned signature;
2018-10-21, by wenzelm
updated PLATFORMS;
2018-10-21, by wenzelm
uniform naming of strong congruence rules
2018-10-21, by nipkow
added lemma
2018-10-21, by nipkow
update MacOSX plugin for Java 11;
2018-10-20, by wenzelm
Jenkins: run ghc_setup
2018-10-18, by Lars Hupel
clarified errors;
2018-10-18, by wenzelm
more robust: explicit version;
2018-10-18, by wenzelm
more robust: avoid implicit setup (with default resolver);
2018-10-17, by wenzelm
more portable;
2018-10-17, by wenzelm
proper path;
2018-10-17, by wenzelm
tuned;
2018-10-17, by wenzelm
merged
2018-10-17, by wenzelm
avoid strict evaluation of "isabelle_stack path --programs";
2018-10-17, by wenzelm
enforce settings that are likely to be outdated, e.g. in $ISABELLE_HOME_USER/etc/settings;
2018-10-17, by wenzelm
support for GHC via command-line tools;
2018-10-17, by wenzelm
tuned;
2018-10-17, by wenzelm
tuned message;
2018-10-17, by wenzelm
auto update;
2018-10-17, by wenzelm
isabelle_stack as portable shell function;
2018-10-17, by wenzelm
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