7 months ago wenzelm 2018-11-05 tuned (see map_index);
7 months ago wenzelm 2018-11-05 tuned;
7 months ago nipkow 2018-11-05 simplified proof, moved lemma, added lemma
7 months ago wenzelm 2018-11-04 more Haskell operations;
7 months ago wenzelm 2018-11-04 ported from src/Pure/General/value.ML;
7 months ago nipkow 2018-11-04 Faster Braun tree functions
7 months ago nipkow 2018-11-04 more lemmas
7 months ago wenzelm 2018-11-03 NEWS;
7 months ago wenzelm 2018-11-03 merged
7 months ago wenzelm 2018-11-03 tuned whitespace;
7 months ago wenzelm 2018-11-03 tuned message (e.g. see Options.save_prefs);
7 months ago wenzelm 2018-11-03 tuned whitespace;
7 months ago wenzelm 2018-11-03 support for Isabelle tools in Haskell;
7 months ago wenzelm 2018-11-03 tuned comments;
7 months ago wenzelm 2018-11-03 more operations;
7 months ago wenzelm 2018-11-01 support for Isabelle tool development in Haskell;
7 months ago Angeliki KoutsoukouArgyraki 2018-11-01 tagged a theory for the Analysis manual
7 months ago blanchet 2018-11-01 more
7 months ago nipkow 2018-11-01 too many clashes with "root" on reals
7 months ago nipkow 2018-11-01 added and renamed functions
7 months ago blanchet 2018-11-01 added an example
7 months ago wenzelm 2018-10-31 clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
7 months ago wenzelm 2018-10-31 tuned;
7 months ago wenzelm 2018-10-31 tuned;
7 months ago wenzelm 2018-10-30 merged
7 months ago wenzelm 2018-10-30 tuned example;
7 months ago wenzelm 2018-10-30 added GHC.read_source: read Haskell source text with antiquotations; added "cartouche" antiquotation for ML string expressions as Haskell string literals;
7 months ago wenzelm 2018-10-30 tuned -- prefer GHC.print_codepoint;
7 months ago wenzelm 2018-10-30 support for GHC: string literals;
7 months ago wenzelm 2018-10-30 some support for UTF-8 (similar to Isabelle/Scala version);
7 months ago wenzelm 2018-10-30 clarified signature;
7 months ago nipkow 2018-10-30 tuned name
7 months ago fleury 2018-10-30 add reconstruction by veriT in method smt
7 months ago fleury 2018-10-30 split SMT reconstruction into library
8 months ago nipkow 2018-10-28 added lemmas
8 months ago wenzelm 2018-10-28 suppress "FreeMarker Template Language" file extension for the sake of SAD3/ForTheL;
8 months ago nipkow 2018-10-28 merged
8 months ago nipkow 2018-10-28 tuned names
8 months ago wenzelm 2018-10-27 more robust: allow log to be a symlink;
8 months ago nipkow 2018-10-27 moved lemmas
8 months ago nipkow 2018-10-26 tuned
8 months ago nipkow 2018-10-26 tuned and added lemmas
8 months ago nipkow 2018-10-26 avoid abbreviation that is used only locally
8 months ago haftmann 2018-10-26 dedicated theory for sorting algorithms
8 months ago nipkow 2018-10-26 merged
8 months ago nipkow 2018-10-26 more combinatorics lemmas
8 months ago wenzelm 2018-10-26 proper environment for variable folding;
8 months ago wenzelm 2018-10-25 merged
8 months ago wenzelm 2018-10-25 NEWS;
8 months ago wenzelm 2018-10-25 updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv; proper update of jEdit environment -- avoid warnings in Java 11; activate jdk-11+28;
8 months ago wenzelm 2018-10-25 clarified ML position: proper markup for def/ref scopes (see also 162a4c2e97bc);
8 months ago wenzelm 2018-10-25 updated to jdk-11+28 from https://adoptopenjdk.net -- with proper font rendering on Linux;
8 months ago wenzelm 2018-10-25 proper completion for @{named_theorems};
8 months ago haftmann 2018-10-25 executable comparators apt for sorting
8 months ago haftmann 2018-10-25 tuned grammar
8 months ago haftmann 2018-10-25 more and generalized lemmas
8 months ago Lars Hupel 2018-10-23 Jenkins: delete obsolete profile
8 months ago Manuel Eberl 2018-10-22 Tagged some theories in HOL-Analysis
8 months ago wenzelm 2018-10-22 proper chapter;
8 months ago wenzelm 2018-10-22 tuned messages;