21 hours ago wenzelm 2019-03-22 merged default tip
21 hours ago wenzelm 2019-03-22 clarified GHC and OCaml test setup;
25 hours ago wenzelm 2019-03-22 updated to cygwin-20190322 -- package required by ocaml_setup for zarith;
26 hours ago wenzelm 2019-03-22 workaround for the sake of Windows;
32 hours ago wenzelm 2019-03-22 more robust -- analogous to ocamlfind;
33 hours ago wenzelm 2019-03-22 even more robust and conservative OCaml setup;
23 hours ago haftmann 2019-03-22 executable equality
23 hours ago haftmann 2019-03-22 improved code equations taken over from AFP
30 hours ago paulson 2019-03-22 New abstract topological material
2 days ago nipkow 2019-03-21 merged
2 days ago nipkow 2019-03-21 tuyned
2 days ago wenzelm 2019-03-21 further robustification (amending 772bdd1ed843);
2 days ago nipkow 2019-03-21 added function
2 days ago paulson 2019-03-21 merged
2 days ago paulson 2019-03-21 new material on topology: products, etc. Some renamings, esp continuous_on_topo -> continuous_map
2 days ago wenzelm 2019-03-21 proper ISABELLE_OCAML_VERSION;
2 days ago wenzelm 2019-03-21 less ambitious test: lapbroy68 lacks libgmp-dev that is required for ocaml setup of zarith;
2 days ago wenzelm 2019-03-21 more robust "switch create"; disable sandboxing to avoid dependency on bubblewrap (unavailable on Ubuntu 16.04);
2 days ago wenzelm 2019-03-21 prefer central root: just one copy of this bulky material;
2 days ago wenzelm 2019-03-21 updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4;
2 days ago wenzelm 2019-03-20 updated to cygwin-20190320;
2 days ago wenzelm 2019-03-20 updated to Cygwin 3.0.4 (approximation for Isabelle2019);
2 days ago wenzelm 2019-03-20 prefer ISABELLE_OCAML_SETUP: Cygwin lacks libzarith;
2 days ago wenzelm 2019-03-20 more robust reference to ghc exe (with multi-platform support);
2 days ago wenzelm 2019-03-20 more robust: allow empty root (e.g. via symlink);
2 days ago wenzelm 2019-03-20 avoid prompt;
2 days ago wenzelm 2019-03-20 updated settings: ISABELLE_OCAMLFIND, ISABELLE_OCAML_SETUP, but retain compatibility with historic versions that require ISABELLE_OCAMLC;
3 days ago wenzelm 2019-03-20 access OCaml tools and libraries via ISABELLE_OCAMLFIND; OPAM setup is optional: it requires odd development tools that are not available in default OS installations (e.g. make, m4);
3 days ago wenzelm 2019-03-20 proper ISABELLE_HOME (ISABELLE_ROOT is for platform-specific application bootstrap);
3 days ago wenzelm 2019-03-20 more robust: allow empty root (e.g. via symlink);
4 days ago paulson 2019-03-19 merged
4 days ago paulson 2019-03-19 new material about topology, etc.; also fixes for yesterday's
4 days ago wenzelm 2019-03-18 merged
4 days ago wenzelm 2019-03-18 support unicode_symbols in input source;
4 days ago wenzelm 2019-03-18 tuned signature;
5 days ago paulson 2019-03-18 new material;' strengthened material; moved proofs out of Function_Topology in order to lessen its dependencies
5 days ago wenzelm 2019-03-17 tuned signature;
6 days ago wenzelm 2019-03-17 more meta data from "dcterms" (superset of "dc");
7 days ago wenzelm 2019-03-15 more latex symbols;
8 days ago wenzelm 2019-03-14 merged
9 days ago wenzelm 2019-03-14 more specific keyword kinds;
9 days ago wenzelm 2019-03-14 tuned whitespace;
9 days ago haftmann 2019-03-14 include zarith in the default opam setup
9 days ago haftmann 2019-03-14 dedicated environment setting for ocaml environment: ISABELLE_OPAM_ROOT is always present even if no envionrment is available
9 days ago haftmann 2019-03-14 proper theory for type of dual ordered lattice in distribution
9 days ago haftmann 2019-03-14 slightly more complete check of code generation for immutable arrays
9 days ago haftmann 2019-03-13 CONTRIBUTORS
13 days ago haftmann 2019-03-10 migrated from Nums to Zarith as library for OCaml integer arithmetic
13 days ago haftmann 2019-03-10 dropped superfluous declaration attribute
10 days ago wenzelm 2019-03-13 more sanity checks;
11 days ago wenzelm 2019-03-12 updated to polyml-5.8 (official release);
11 days ago wenzelm 2019-03-11 URIs should normally be "rdf:resource", not string body;
11 days ago wenzelm 2019-03-11 clarified signature;
11 days ago wenzelm 2019-03-11 support for document meta data in PIDE and RDF;
12 days ago wenzelm 2019-03-11 tuned signature;
12 days ago wenzelm 2019-03-11 tuned signature;
12 days ago wenzelm 2019-03-11 tuned signature;
12 days ago wenzelm 2019-03-11 tuned signature;
12 days ago wenzelm 2019-03-10 more formal contributors (with the help of the history);
12 days ago wenzelm 2019-03-10 proper data columns for plots;