2 months ago wenzelm 2019-03-25 more strict AFP properties;
2 months ago wenzelm 2019-03-25 tuned signature;
2 months ago wenzelm 2019-03-25 clarified signature;
2 months ago wenzelm 2019-03-25 proper treatment of empty extra lines (amending 98a440cfbb2b);
2 months ago wenzelm 2019-03-25 clarified signature: explicitly typed interfaces;
2 months ago wenzelm 2019-03-25 provide maintainers as seen in AFP/admin; suppress empty properties;
2 months ago wenzelm 2019-03-25 tuned;
2 months ago wenzelm 2019-03-25 tuned signature;
2 months ago wenzelm 2019-03-25 read AFP metadata for entries;
2 months ago wenzelm 2019-03-24 more accurate HTML rendering;
2 months ago wenzelm 2019-03-24 clarified markup;
2 months ago wenzelm 2019-03-24 clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax;
2 months ago wenzelm 2019-03-24 tuned;
2 months ago wenzelm 2019-03-24 clarified spell-checking (see also 30233285270a);
2 months ago wenzelm 2019-03-24 more accurate markup;
2 months ago wenzelm 2019-03-24 clarified signature;
2 months ago wenzelm 2019-03-24 more markup for various text kinds, notably for nested formal comments;
2 months ago wenzelm 2019-03-24 tuned whitespace;
2 months ago wenzelm 2019-03-24 clarified rendering: use COMMENT4 elsewhere;
2 months ago wenzelm 2019-03-24 documentation of document markers and re-interpreted command tags;
2 months ago wenzelm 2019-03-23 updated to ssh-java-20190323 (with jsch-0.1.55.jar);
2 months ago wenzelm 2019-03-23 NEWS for proper Isabelle version;
2 months ago wenzelm 2019-03-23 obsolete;
2 months ago wenzelm 2019-03-23 proper latex setup;
2 months ago wenzelm 2019-03-23 updated docker setup: lib32stdc++6 is no longer required for polyml-5.8, libfontconfig1 is required for headless jdk-11;
2 months ago wenzelm 2019-03-23 proper command-line;
2 months ago wenzelm 2019-03-23 avoid global .opam directory: shared home leads to confusion about explicit vs. implicit ISABELLE_OCAMLFIND;
2 months ago wenzelm 2019-03-23 more explicit opam dependencies;
2 months ago wenzelm 2019-03-22 merged
2 months ago wenzelm 2019-03-22 clarified GHC and OCaml test setup;
2 months ago wenzelm 2019-03-22 updated to cygwin-20190322 -- package required by ocaml_setup for zarith;
2 months ago wenzelm 2019-03-22 workaround for the sake of Windows;
2 months ago wenzelm 2019-03-22 more robust -- analogous to ocamlfind;
2 months ago wenzelm 2019-03-22 even more robust and conservative OCaml setup;
2 months ago haftmann 2019-03-22 executable equality
2 months ago haftmann 2019-03-22 improved code equations taken over from AFP
2 months ago paulson 2019-03-22 New abstract topological material
2 months ago nipkow 2019-03-21 merged
2 months ago nipkow 2019-03-21 tuyned
2 months ago wenzelm 2019-03-21 further robustification (amending 772bdd1ed843);
2 months ago nipkow 2019-03-21 added function
2 months ago paulson 2019-03-21 merged
2 months ago paulson 2019-03-21 new material on topology: products, etc. Some renamings, esp continuous_on_topo -> continuous_map
2 months ago wenzelm 2019-03-21 proper ISABELLE_OCAML_VERSION;
2 months ago wenzelm 2019-03-21 less ambitious test: lapbroy68 lacks libgmp-dev that is required for ocaml setup of zarith;
2 months ago wenzelm 2019-03-21 more robust "switch create"; disable sandboxing to avoid dependency on bubblewrap (unavailable on Ubuntu 16.04);
2 months ago wenzelm 2019-03-21 prefer central root: just one copy of this bulky material;
2 months ago wenzelm 2019-03-21 updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4;
2 months ago wenzelm 2019-03-20 updated to cygwin-20190320;
2 months ago wenzelm 2019-03-20 updated to Cygwin 3.0.4 (approximation for Isabelle2019);
2 months ago wenzelm 2019-03-20 prefer ISABELLE_OCAML_SETUP: Cygwin lacks libzarith;
2 months ago wenzelm 2019-03-20 more robust reference to ghc exe (with multi-platform support);
2 months ago wenzelm 2019-03-20 more robust: allow empty root (e.g. via symlink);
2 months ago wenzelm 2019-03-20 avoid prompt;
2 months ago wenzelm 2019-03-20 updated settings: ISABELLE_OCAMLFIND, ISABELLE_OCAML_SETUP, but retain compatibility with historic versions that require ISABELLE_OCAMLC;
2 months 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);
2 months ago wenzelm 2019-03-20 proper ISABELLE_HOME (ISABELLE_ROOT is for platform-specific application bootstrap);
2 months ago wenzelm 2019-03-20 more robust: allow empty root (e.g. via symlink);
3 months ago paulson 2019-03-19 merged
3 months ago paulson 2019-03-19 new material about topology, etc.; also fixes for yesterday's