wenzelm committed rISABELLE2bc568573a47: updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;.

wenzelm committed rISABELLE2f6b092bbd25: updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems….

wenzelm committed rISABELLEaa1338a778c1: tuned;.

wenzelm committed rISABELLE3199c08e6413: tuned;.

wenzelm committed rISABELLE6cfec8029831: clarified signature;.

wenzelm committed rISABELLE153ed199c0d4: updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);.

wenzelm committed rISABELLEeed5b6188371: more support for multiple daemons;.

wenzelm committed rISABELLEcd166c3904dd: more robust: system ssh service is required for Phabricator ssh service;.

wenzelm committed rISABELLE070a9b62f44a: removed obsolete material: already covered by documentation or tools;.

wenzelm committed rISABELLE8c1c717a830b: configure SSH hosting via "isabelle phabricator_setup_ssh";.

wenzelm committed rISABELLE783d5786255d: more robust;.

wenzelm committed rISABELLE25c85cc3bc71: clarified signature;.

wenzelm committed rISABELLEc6ad69448d6d: removed obsolete material -- already covered by "system" manual;.

wenzelm committed rISABELLE1159e52e5b05: tuned;.

makarius closed T1: Support for Mercurial tags as Wontfix.

wenzelm committed rISABELLEf9b1c6522155: merged.

wenzelm committed rISABELLEc073c4e79518: more documentation;.

wenzelm committed rISABELLE3d228a3a88e0: tuned;.

wenzelm committed rISABELLEf31903cc57b0: clarified Console_Progress.echo: include empty lines as in other Progress….

wenzelm committed rISABELLE67c2fed5b0e9: more options;.

wenzelm committed rISABELLE20c1b9516d27: documentation on Phabricator server administration;.

wenzelm committed rISABELLEda378866f580: tuned message;.

wenzelm committed rISABELLEd3ededaa77b3: added "isabelle phabricator";.

paulson <lp15@cam.ac.uk> committed rISABELLEec7cc76e88e5: New library material from the AFP entry ZFC_in_HOL.

haftmann committed rISABELLE038727567817: tuned order between theories.

David Matthews <dm@prolingua.co.uk> committed rPOLYML9dac7f78c2b0: Run a major GC is the cumulative cost of the minor GCs since the last major GC… (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYML999520d2035c: Add percentages to the major GC assuming each phase takes the same time. (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYML4e9978153095: Merge remote-tracking branch 'remotes/origin/master' into GCPercent (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYML88c81b641468: Rebuild Makefile.in from modified Makefile.am with gc_progress added. (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYML106e936320d1: Add percentage progress to the GC share phase. (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYMLfbe833aa7547: Add entries to the statistics to support a GC progress bar. These aren't really… (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYML81f8fa0cb981: Add basic functions to indicate the phase of GC. (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYML09412e7cf416: Set the phase to GC-Other in sharedata after a full GC. (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYMLa01fead649bc: Fix reading remote statistics in Unix. (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYML67e87c763417: Run a major GC is the cumulative cost of the minor GCs since the last major GC… (authored by David Matthews <dm@prolingua.co.uk>).

haftmann committed rISABELLEa197532693a5: bit shifts as class operations.

haftmann committed rISABELLEb7d481cdd54d: new lemma.

Lars Hupel <lars.hupel@mytum.de> committed rAFPf1ef07c47429: don't build Linear_Programming on Mac.

wenzelm committed rISABELLE3c04a52c422a: tuned comments;.

wenzelm committed rISABELLEfd82d53c1761: merged.

wenzelm committed rISABELLE06c6495fb1d0: retain type information from reconstruct_proof, notably for Export_Theory..

wenzelm committed rISABELLE4b45d592ce29: clarified modules;.

wenzelm committed rISABELLE907b7a6471a0: tuned proofs;.

wenzelm committed rISABELLE77580c977e0c: more robust;.

wenzelm committed rISABELLEaedd11603fb4: tuned modules;.

wenzelm committed rISABELLE950e1cfe0fe4: tuned proofs -- more stable proof terms without [rule_format];.

paulson committed rISABELLEc4458eb355c0: merged.

paulson <lp15@cam.ac.uk> committed rISABELLEce92360f0692: A slight tidying up of messy proof steps.

wenzelm committed rISABELLE995fe5877d53: tuned declarations for more compact proof terms;.

wenzelm committed rISABELLE45a1fcee14a0: prefer named facts;.

wenzelm committed rISABELLE64249a83bc29: clarified contexts;.

wenzelm committed rISABELLEe06852132c1d: tuned messages;.

wenzelm committed rISABELLE5bb2235d843d: clarified command-line;.

wenzelm committed rISABELLE41b6ca223500: tuned messages;.

wenzelm committed rISABELLE8ac137c65776: tuned messages;.

wenzelm committed rISABELLE70205e023cb4: more messages -- expose potential database problems;.

wenzelm committed rISABELLE324c40205fc8: clarified errors: include stdout;.

wenzelm committed rISABELLEd61fd7aade69: clarified directory;.

wenzelm committed rISABELLE22fcdadc404d: tuned;.

wenzelm committed rISABELLE9ce299019d21: tuned message;.

wenzelm committed rISABELLE79b89278b825: clarified permissions;.

wenzelm committed rISABELLE9314a4cc84ea: merged.

wenzelm committed rISABELLE510b89906d86: discontinued somewhat pointless Isabelle options: setup implicitly assumes….

wenzelm committed rISABELLE67cbf2e52785: unused;.

wenzelm committed rISABELLE114db2b5a5f8: support for Phabricator mail configuration;.

traytel committed rISABELLE98ac9a4323a2: merged.

traytel committed rISABELLEc9c1a64eeb69: corrected typo in lemma name.

nipkow committed rISABELLEd628bbdce79a: moved lemma.

traytel committed rISABELLEb3956a37c994: merged.

traytel committed rISABELLE1d19e844fa4d: characterization of until in terms of strong until (and vice versa)….

nipkow committed rISABELLE295609359b58: tuned toc.

nipkow committed rAFP54f6a4f1d8a3: updated to fdb6c5034c24.

immler committed rAFP2a06a089800f: merged.

paulson <lp15@cam.ac.uk> committed rAFP3f2bdb753c38: patched a proof.

immler committed rAFPc5944c920143: moved Interval and Interval_Approximation to isabelle.

wenzelm committed rISABELLE9b531e611d66: merged.

wenzelm committed rISABELLE2965304143d8: more phabricator setup;.

wenzelm committed rISABELLE6ca9e8377613: proper names for multiple installations;.

wenzelm committed rISABELLEee3c43eb79ae: proper service name (again): it is specific to each installation;.

wenzelm committed rISABELLEb64fc38327ae: prefer system user setup, e.g. avoid occurrence on login screen;.

wenzelm committed rISABELLE27a998cdc0f4: back to plain name, to have it accepted my mysql;.

wenzelm committed rISABELLEba14aa0b5a5d: more robust: install PHP daemon after Apache;.

wenzelm committed rISABELLE6bf53035baf0: clarified name prefixes: global config always uses "isabelle-phabricator";.

wenzelm committed rISABELLE8198ceef0301: more phabricator setup;.

wenzelm committed rISABELLE4eeff87c5072: more phabricator setup;.

wenzelm committed rISABELLEf4b9dd5ab0cc: more phabricator setup;.

wenzelm committed rISABELLE5f02ecbb19d6: support for system services;.

wenzelm committed rISABELLE87c132cf5860: more options;.

wenzelm committed rISABELLEb8aeeedf7e68: support for Linux user management;.

nipkow committed rISABELLE9858f391ed2d: merged.

nipkow committed rISABELLEcb504351d058: tuned.

nipkow committed rISABELLE2fab72ab919a: moved duplicate lemmas up the hierarchy.

haftmann committed rISABELLE400e9512f1d3: proof-of-concept theory for bit operations without a constructivistic….

nipkow committed rISABELLEfdb6c5034c24: merged.

nipkow committed rISABELLE9d2753406c60: removed redundant lemma.

immler committed rISABELLEddd4aefc540f: merged.

immler committed rISABELLEbd3d4702b4f2: add lemmas.

immler committed rISABELLEf630f2e707a6: refactor Approximation.thy to use more abstract type of intervals.

immler committed rISABELLEdfcc1882d05a: moved theory Interval_Approximation from the AFP.

immler committed rISABELLE6fe5a0e1fa8e: moved theory Interval from the AFP.