5 months ago wenzelm 2018-11-08 tuned whitespace;
5 months ago wenzelm 2018-11-08 clarified tool setup for GHC / OCaml: discontinued "isabelle ghc", "isabelle ocaml", "isabelle ocamlc" to avoid confusion with traditional settings variables for executables (these are still required in existing applications, notably in session options [condition = ISABELLE_GHC] etc. and codegen setup;
5 months ago wenzelm 2018-11-08 always insist in specified resolver/compiler version;
5 months ago wenzelm 2018-11-08 proper ML expressions, without trailing semicolons;
5 months ago wenzelm 2018-11-08 insist in specified resolver/compiler version;
5 months ago wenzelm 2018-11-08 simplified -- according to regular "ghci" script;
5 months ago wenzelm 2018-11-08 clarified ML positions (see also 1a52baa70aed);
5 months ago wenzelm 2018-11-08 more standard Resources.provide_parse_files: avoid duplicate markup reports;
5 months ago wenzelm 2018-11-08 more uniform (see 1722cc56d22e);
5 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
5 months ago wenzelm 2018-11-07 tuned;
5 months ago wenzelm 2018-11-07 obsolete;
5 months ago wenzelm 2018-11-07 clarified signature;
5 months ago wenzelm 2018-11-07 more uniform read_file_content for Isabelle/jEdit and Isabelle/VSCode: make_theory_content is required for semantic checking of user file-formats (e.g. bibtex);
5 months ago wenzelm 2018-11-07 more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
5 months ago wenzelm 2018-11-07 merged
5 months ago wenzelm 2018-11-07 proper ghc_setup / ocaml_setup on target Isabelle distribution (amending 2a17c481d05e);
5 months ago haftmann 2018-11-07 dedicated examples for sorting
5 months ago haftmann 2018-11-07 more direct implementations of comparators
5 months ago haftmann 2018-11-07 generic merge sort
5 months ago wenzelm 2018-11-06 merged
5 months ago wenzelm 2018-11-06 more Haskell operations;
5 months ago wenzelm 2018-11-06 tuned;
5 months ago haftmann 2018-11-04 concrecte sorting algorithms beyond insertion sort
5 months ago wenzelm 2018-11-05 proper self_update for isolated host;
5 months ago wenzelm 2018-11-05 renovated macOS tests;
5 months ago wenzelm 2018-11-05 support remote_build_history with optional ghc_setup / ocaml_setup;
5 months ago wenzelm 2018-11-05 more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing);
5 months ago wenzelm 2018-11-05 clarified names;
5 months ago wenzelm 2018-11-05 more Haskell operations; tuned;
5 months ago wenzelm 2018-11-05 support sub-directories, i.e. structure module names;
5 months ago wenzelm 2018-11-05 prefer symbolic path: it is potentially persisted;
5 months ago wenzelm 2018-11-05 tuned (see map_index);
5 months ago wenzelm 2018-11-05 tuned;
5 months ago nipkow 2018-11-05 simplified proof, moved lemma, added lemma
5 months ago wenzelm 2018-11-04 more Haskell operations;
5 months ago wenzelm 2018-11-04 ported from src/Pure/General/value.ML;
5 months ago nipkow 2018-11-04 Faster Braun tree functions
5 months ago nipkow 2018-11-04 more lemmas
5 months ago wenzelm 2018-11-03 NEWS;
5 months ago wenzelm 2018-11-03 merged
5 months ago wenzelm 2018-11-03 tuned whitespace;
5 months ago wenzelm 2018-11-03 tuned message (e.g. see Options.save_prefs);
5 months ago wenzelm 2018-11-03 tuned whitespace;
5 months ago wenzelm 2018-11-03 support for Isabelle tools in Haskell;
5 months ago wenzelm 2018-11-03 tuned comments;
5 months ago wenzelm 2018-11-03 more operations;
5 months ago wenzelm 2018-11-01 support for Isabelle tool development in Haskell;
5 months ago Angeliki KoutsoukouArgyraki 2018-11-01 tagged a theory for the Analysis manual
5 months ago blanchet 2018-11-01 more
5 months ago nipkow 2018-11-01 too many clashes with "root" on reals
5 months ago nipkow 2018-11-01 added and renamed functions
5 months ago blanchet 2018-11-01 added an example
5 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);
5 months ago wenzelm 2018-10-31 tuned;
5 months ago wenzelm 2018-10-31 tuned;
5 months ago wenzelm 2018-10-30 merged
5 months ago wenzelm 2018-10-30 tuned example;
5 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;
5 months ago wenzelm 2018-10-30 tuned -- prefer GHC.print_codepoint;