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