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