8 months ago wenzelm 2018-11-08 more standard Resources.provide_parse_files: avoid duplicate markup reports;
8 months ago wenzelm 2018-11-08 more uniform (see 1722cc56d22e);
8 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
8 months ago wenzelm 2018-11-07 tuned;
8 months ago wenzelm 2018-11-07 obsolete;
8 months ago wenzelm 2018-11-07 clarified signature;
8 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);
8 months ago wenzelm 2018-11-07 more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
8 months ago wenzelm 2018-11-07 merged
8 months ago wenzelm 2018-11-07 proper ghc_setup / ocaml_setup on target Isabelle distribution (amending 2a17c481d05e);
8 months ago haftmann 2018-11-07 dedicated examples for sorting
8 months ago haftmann 2018-11-07 more direct implementations of comparators
8 months ago haftmann 2018-11-07 generic merge sort
8 months ago wenzelm 2018-11-06 merged
8 months ago wenzelm 2018-11-06 more Haskell operations;
8 months ago wenzelm 2018-11-06 tuned;
8 months ago haftmann 2018-11-04 concrecte sorting algorithms beyond insertion sort
8 months ago wenzelm 2018-11-05 proper self_update for isolated host;
8 months ago wenzelm 2018-11-05 renovated macOS tests;
8 months ago wenzelm 2018-11-05 support remote_build_history with optional ghc_setup / ocaml_setup;
8 months ago wenzelm 2018-11-05 more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing);
8 months ago wenzelm 2018-11-05 clarified names;
8 months ago wenzelm 2018-11-05 more Haskell operations; tuned;
8 months ago wenzelm 2018-11-05 support sub-directories, i.e. structure module names;
8 months ago wenzelm 2018-11-05 prefer symbolic path: it is potentially persisted;
8 months ago wenzelm 2018-11-05 tuned (see map_index);
8 months ago wenzelm 2018-11-05 tuned;
8 months ago nipkow 2018-11-05 simplified proof, moved lemma, added lemma
8 months ago wenzelm 2018-11-04 more Haskell operations;
8 months ago wenzelm 2018-11-04 ported from src/Pure/General/value.ML;
8 months ago nipkow 2018-11-04 Faster Braun tree functions
8 months ago nipkow 2018-11-04 more lemmas
8 months ago wenzelm 2018-11-03 NEWS;
8 months ago wenzelm 2018-11-03 merged
8 months ago wenzelm 2018-11-03 tuned whitespace;
8 months ago wenzelm 2018-11-03 tuned message (e.g. see Options.save_prefs);
8 months ago wenzelm 2018-11-03 tuned whitespace;
8 months ago wenzelm 2018-11-03 support for Isabelle tools in Haskell;
8 months ago wenzelm 2018-11-03 tuned comments;
8 months ago wenzelm 2018-11-03 more operations;
8 months ago wenzelm 2018-11-01 support for Isabelle tool development in Haskell;
8 months ago Angeliki KoutsoukouArgyraki 2018-11-01 tagged a theory for the Analysis manual
8 months ago blanchet 2018-11-01 more
8 months ago nipkow 2018-11-01 too many clashes with "root" on reals
8 months ago nipkow 2018-11-01 added and renamed functions
8 months ago blanchet 2018-11-01 added an example
8 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);
8 months ago wenzelm 2018-10-31 tuned;
8 months ago wenzelm 2018-10-31 tuned;
8 months ago wenzelm 2018-10-30 merged
8 months ago wenzelm 2018-10-30 tuned example;
8 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;
8 months ago wenzelm 2018-10-30 tuned -- prefer GHC.print_codepoint;
8 months ago wenzelm 2018-10-30 support for GHC: string literals;
8 months ago wenzelm 2018-10-30 some support for UTF-8 (similar to Isabelle/Scala version);
8 months ago wenzelm 2018-10-30 clarified signature;
8 months ago nipkow 2018-10-30 tuned name
8 months ago fleury 2018-10-30 add reconstruction by veriT in method smt
8 months ago fleury 2018-10-30 split SMT reconstruction into library
8 months ago nipkow 2018-10-28 added lemmas