94 minutes ago Manuel Eberl 2018-12-13 tagged more of HOL-Analysis default tip
17 hours ago wenzelm 2018-12-12 merged;
18 hours ago wenzelm 2018-12-12 more Haskell operations;
21 hours ago wenzelm 2018-12-12 more uniform multi-language operations; misc tuning and clarification;
24 hours ago wenzelm 2018-12-12 more Haskell operations;
26 hours ago wenzelm 2018-12-12 more uniform multi-language operations; misc tuning and clarification;
38 hours ago wenzelm 2018-12-12 more uniform multi-language operations; clarified modules and signature;
38 hours ago wenzelm 2018-12-11 more operations (as in ML);
41 hours ago wenzelm 2018-12-11 more uniform multi-language operations; clarified modules and signature;
43 hours ago wenzelm 2018-12-11 more uniform multi-language operations;
25 hours ago eberlm 2018-12-12 Tagged some of HOL-Analysis
2 days ago wenzelm 2018-12-10 more Haskell operations;
2 days ago wenzelm 2018-12-10 tuned headers;
2 days ago wenzelm 2018-12-10 more formal Haskell project setup, with dependencies on packages from "stackage";
2 days ago wenzelm 2018-12-10 tuned signature;
2 days ago wenzelm 2018-12-10 tuned proofs;
2 days ago wenzelm 2018-12-10 clarified modules, following bytes.scala;
2 days ago wenzelm 2018-12-10 clarified input_line: exclude terminator (its only use in Isabelle_Process.read_command is is unaffected, due to liberal Int.fromString);
3 days ago wenzelm 2018-12-09 tuned message;
3 days ago wenzelm 2018-12-09 updated to scala-2.12.8;
3 days ago wenzelm 2018-12-09 more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);
3 days ago wenzelm 2018-12-09 clarified names;
3 days ago wenzelm 2018-12-09 clarified example: avoid unpacking into /home/isabelle/components at TUM;
4 days ago wenzelm 2018-12-09 clarified settings and defaults;
4 days ago wenzelm 2018-12-09 merged
4 days ago wenzelm 2018-12-08 discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;
4 days ago wenzelm 2018-12-08 clarified defaults for Windows/Cygwin hybrid;
4 days ago wenzelm 2018-12-08 proper path before tar -C context switch;
4 days ago wenzelm 2018-12-08 replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality; more robust Component.Archive name: avoid rm_tree accidents;
4 days ago wenzelm 2018-12-08 clarified sort order (again, see also 81a75d9a9a4e);
4 days ago wenzelm 2018-12-08 clarified operations: uniform sorting of results;
4 days ago wenzelm 2018-12-08 clarified modules;
4 days ago wenzelm 2018-12-08 clarified gnutar options: more uniform owner;
5 days ago wenzelm 2018-12-08 clarified application bundling: discontinued redundant archives;
4 days ago Wenda Li 2018-12-08 Tagged some theories in HOL-Analysis: Cauchy_Integral_Theorem, Riemann_Mapping and Winding_Numbers.
5 days ago wenzelm 2018-12-07 clarified session dependencies: faster build_doc/build_release;
5 days ago paulson 2018-12-07 merged
5 days ago paulson 2018-12-07 updated to modern symbols
5 days ago wenzelm 2018-12-07 updated to stack-1.9.3; proper settings for Windows;
6 days ago wenzelm 2018-12-07 more robust;
6 days ago wenzelm 2018-12-07 tuned;
6 days ago wenzelm 2018-12-06 obsolete;
6 days ago wenzelm 2018-12-06 clarified error;
6 days ago wenzelm 2018-12-06 clarified defaults: explicit "rev" takes precedence;
6 days ago wenzelm 2018-12-06 more explicit Components.Archive; support additional components, which also enforces clean bundling;
6 days ago wenzelm 2018-12-06 proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a);
6 days ago wenzelm 2018-12-06 tuned message;
7 days ago wenzelm 2018-12-06 more explicit Platform.Family;
7 days ago wenzelm 2018-12-06 clarified doc sections: add-on components may focus their own application name;
7 days ago wenzelm 2018-12-06 more robust, notably for macos /var vs. /private/var;
7 days ago wenzelm 2018-12-05 more robust: "gtar" is default name in Homebrew;
7 days ago wenzelm 2018-12-05 tuned;
7 days ago wenzelm 2018-12-05 more direct File.executable operation: avoid external process (on Unix);
7 days ago wenzelm 2018-12-05 clarified absolute isabelle_home and (implicitly) isabelle_home_user;
7 days ago wenzelm 2018-12-05 tuned messages;
7 days ago wenzelm 2018-12-05 more direct File.link operation: avoid external process;
7 days ago wenzelm 2018-12-05 eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala; more robust components and classpath via Other_Isabelle; updated macos_app to include full dmg template; misc tuning and clarification;
8 days ago wenzelm 2018-12-04 tuned;
9 days ago wenzelm 2018-12-03 updated to jedit_build-20181203 (according to d70767e508d7);
9 days ago wenzelm 2018-12-03 Components.download similar to "isabelle components", but without unpacking;