6 months ago haftmann 2018-11-18 removed legacy input syntax
6 months ago nipkow 2018-11-18 added and tuned lemmas
6 months ago wenzelm 2018-11-17 more Java 11 illegal-access warnings;
6 months ago wenzelm 2018-11-17 prefer more powerful machine;
6 months ago wenzelm 2018-11-16 renovated macOS tests;
6 months ago wenzelm 2018-11-15 proper citation (amending d8205bb279a7);
6 months ago wenzelm 2018-11-15 proper citation (amending 98ba42f19995);
6 months ago wenzelm 2018-11-14 merged
6 months ago wenzelm 2018-11-14 prefer statically-typed close operation, avoid Java 11 warning: "Illegal reflective access by scala.reflect.package$ to method sun.net.httpserver.LeftOverInputStream.close()";
6 months ago wenzelm 2018-11-14 more robust hostname for Isabelle cronjobs: do not rely on target OS installation for resulting build_log database content;
6 months ago wenzelm 2018-11-14 more uniform wrt. File.find_files;
6 months ago wenzelm 2018-11-14 proper use of stat() vs. lstat() (for symlinks);
6 months ago wenzelm 2018-11-14 more uniform find_files, notably for symlinks;
6 months ago wenzelm 2018-11-14 is_file/is_dir/read_dir: more uniform treatment of errors and boundary cases, notably for symlinks in ssh;
6 months ago wenzelm 2018-11-14 clarified default (amending 72a9860f8602): avoid implicit change of File.find_files (it can have bad effects e.g. on "isabelle update_cartouches");
6 months ago immler 2018-11-14 fixed import
6 months ago immler 2018-11-14 extract example for ab_group_add_on_with
6 months ago immler 2018-11-14 generalized local_typedef_ab_group_add
6 months ago immler 2018-11-14 use locales in Group_On_With
6 months ago wenzelm 2018-11-13 more robust;
6 months ago wenzelm 2018-11-13 clarified find_files: follow links by default, e.g. relevant for "~/cronjob/log";
6 months ago wenzelm 2018-11-13 tuned;
6 months ago wenzelm 2018-11-12 more Haskell operations;
6 months ago wenzelm 2018-11-12 tuned signature;
6 months ago wenzelm 2018-11-12 clarified signature;
6 months ago wenzelm 2018-11-12 more Haskell operations; more accurate exports; tuned;
6 months ago wenzelm 2018-11-12 proper export;
6 months ago nipkow 2018-11-11 tuned
6 months ago nipkow 2018-11-11 merged
6 months ago nipkow 2018-11-11 more [simp]
6 months ago wenzelm 2018-11-11 clarified display name;
6 months ago wenzelm 2018-11-10 added ML antiquotation @{master_dir};
6 months ago wenzelm 2018-11-10 tuned signature;
6 months ago wenzelm 2018-11-10 more formal references;
6 months ago wenzelm 2018-11-10 more Haskell antiquotations;
6 months ago wenzelm 2018-11-10 more Haskell operations;
6 months ago wenzelm 2018-11-10 support for user-defined Isabelle/Scala command-line tools; misc tuning and clarification;
6 months ago haftmann 2018-11-10 replaced some ancient ASCII syntax
6 months ago haftmann 2018-11-10 clarified status of legacy input abbreviations
6 months ago haftmann 2018-11-10 clarified status of ancient ASCII syntax for big union and inter
6 months ago wenzelm 2018-11-08 NEWS;
6 months ago wenzelm 2018-11-08 isabelle update_cartouches -t;
6 months ago wenzelm 2018-11-08 update ROOT files as well: treated like .thy in Isabelle/jEdit;
6 months ago wenzelm 2018-11-08 clarified isabelle_fonts license, to be used when the component is updated next time;
6 months ago wenzelm 2018-11-08 tuned whitespace;
6 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;
6 months ago wenzelm 2018-11-08 always insist in specified resolver/compiler version;
6 months ago wenzelm 2018-11-08 proper ML expressions, without trailing semicolons;
6 months ago wenzelm 2018-11-08 insist in specified resolver/compiler version;
6 months ago wenzelm 2018-11-08 simplified -- according to regular "ghci" script;
6 months ago wenzelm 2018-11-08 clarified ML positions (see also 1a52baa70aed);
6 months ago wenzelm 2018-11-08 more standard Resources.provide_parse_files: avoid duplicate markup reports;
6 months ago wenzelm 2018-11-08 more uniform (see 1722cc56d22e);
6 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
6 months ago wenzelm 2018-11-07 tuned;
6 months ago wenzelm 2018-11-07 obsolete;
6 months ago wenzelm 2018-11-07 clarified signature;
6 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);
6 months ago wenzelm 2018-11-07 more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
6 months ago wenzelm 2018-11-07 merged