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