20 months ago wenzelm 2018-11-22 support for fontforge and its scripting language;
20 months ago wenzelm 2018-11-22 tuned;
20 months ago wenzelm 2018-11-22 tuned;
20 months ago haftmann 2018-11-22 removed legacy input syntax
20 months ago haftmann 2018-11-22 avoid compound operator
21 months ago wenzelm 2018-11-21 updated version;
21 months ago wenzelm 2018-11-21 more robust (see https://code.visualstudio.com/docs/extensionAPI/document-selectors);
21 months ago wenzelm 2018-11-21 tuned;
21 months ago wenzelm 2018-11-21 more comment markup;
21 months ago wenzelm 2018-11-20 tuned -- refining auto-update 15e9ed5b28fb;
21 months ago wenzelm 2018-11-20 clarified presentation;
21 months ago nipkow 2018-11-19 merged
21 months ago nipkow 2018-11-19 Retired lemma card_Union_image; use the simpler card_UN_disjoint instead.
21 months ago wenzelm 2018-11-19 more Haskell operations;
21 months ago wenzelm 2018-11-19 unused -- left-over from Proof General;
21 months ago haftmann 2018-11-18 removed legacy input syntax
21 months ago nipkow 2018-11-18 added and tuned lemmas
21 months ago wenzelm 2018-11-17 more Java 11 illegal-access warnings;
21 months ago wenzelm 2018-11-17 prefer more powerful machine;
21 months ago wenzelm 2018-11-16 renovated macOS tests;
21 months ago wenzelm 2018-11-15 proper citation (amending d8205bb279a7);
21 months ago wenzelm 2018-11-15 proper citation (amending 98ba42f19995);
21 months ago wenzelm 2018-11-14 merged
21 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()";
21 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;
21 months ago wenzelm 2018-11-14 more uniform wrt. File.find_files;
21 months ago wenzelm 2018-11-14 proper use of stat() vs. lstat() (for symlinks);
21 months ago wenzelm 2018-11-14 more uniform find_files, notably for symlinks;
21 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;
21 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");
21 months ago immler 2018-11-14 fixed import
21 months ago immler 2018-11-14 extract example for ab_group_add_on_with
21 months ago immler 2018-11-14 generalized local_typedef_ab_group_add
21 months ago immler 2018-11-14 use locales in Group_On_With
21 months ago wenzelm 2018-11-13 more robust;
21 months ago wenzelm 2018-11-13 clarified find_files: follow links by default, e.g. relevant for "~/cronjob/log";
21 months ago wenzelm 2018-11-13 tuned;
21 months ago wenzelm 2018-11-12 more Haskell operations;
21 months ago wenzelm 2018-11-12 tuned signature;
21 months ago wenzelm 2018-11-12 clarified signature;
21 months ago wenzelm 2018-11-12 more Haskell operations; more accurate exports; tuned;
21 months ago wenzelm 2018-11-12 proper export;
21 months ago nipkow 2018-11-11 tuned
21 months ago nipkow 2018-11-11 merged
21 months ago nipkow 2018-11-11 more [simp]
21 months ago wenzelm 2018-11-11 clarified display name;
21 months ago wenzelm 2018-11-10 added ML antiquotation @{master_dir};
21 months ago wenzelm 2018-11-10 tuned signature;
21 months ago wenzelm 2018-11-10 more formal references;
21 months ago wenzelm 2018-11-10 more Haskell antiquotations;
21 months ago wenzelm 2018-11-10 more Haskell operations;
21 months ago wenzelm 2018-11-10 support for user-defined Isabelle/Scala command-line tools; misc tuning and clarification;
21 months ago haftmann 2018-11-10 replaced some ancient ASCII syntax
21 months ago haftmann 2018-11-10 clarified status of legacy input abbreviations
21 months ago haftmann 2018-11-10 clarified status of ancient ASCII syntax for big union and inter
21 months ago wenzelm 2018-11-08 NEWS;
21 months ago wenzelm 2018-11-08 isabelle update_cartouches -t;
21 months ago wenzelm 2018-11-08 update ROOT files as well: treated like .thy in Isabelle/jEdit;
21 months ago wenzelm 2018-11-08 clarified isabelle_fonts license, to be used when the component is updated next time;
21 months ago wenzelm 2018-11-08 tuned whitespace;