nipkow committed rISABELLE57bc95d23491: reduced imports.

paulson <lp15@cam.ac.uk> committed rISABELLEdf1d96114754: Fixed a few messy proofs and adjusted inconsistent section headings.

paulson <lp15@cam.ac.uk> committed rISABELLE11e1e273eaad: A more informative comment.

wenzelm committed rAFP6128683958ca: more realistic timeout;.

paulson <lp15@cam.ac.uk> committed rISABELLEb4d409c65a76: Rearrangement of material in Complex_Analysis_Basics, which contained much that….

ballarin committed rISABELLEc9433e8e314e: Remove diagnostic command 'print_dependencies'..

wenzelm committed rISABELLE03afc8252225: support for output messages;.

wenzelm committed rISABELLEa21a29de5f57: tuned;.

wenzelm committed rISABELLEb5822f4c3fde: tuned -- avoid deprecated constructors;.

wenzelm committed rISABELLE4b3e1b859a22: tuned signature;.

wenzelm committed rISABELLEffccc1f346ae: avoid vacuous session Pure -- dump does not read_pure_theory;.

wenzelm committed rISABELLE625df1eb7873: updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);.

David Matthews <dm@prolingua.co.uk> committed rPOLYMLb0377ac97379: Use the check from configure to decide whether to use _fseeki64/_ftelli64. (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYMLf2b613e02f7e: Updated configure and included test for _ftelli64. (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYML055f20cdc326: Change strncpy to memcpy to suppress warning. (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYML5332ebdd9a91: Partially revert 21a631 and instead use _fseeki64/_ftelli64 in Windows. (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> added a reverting change for rPOLYML21a631f78824: Use fgetpos and fsetpos instead of ftell and fseek. These work correctly with…: rPOLYML5332ebdd9a91: Partially revert 21a631 and instead use _fseeki64/_ftelli64 in Windows..

wenzelm committed rISABELLE6b03ce9b02c7: clarified vacuous selection vs. Pure;.

wenzelm committed rISABELLE1c58a01a372e: tuned signature;.

haftmann committed rISABELLE8bdf3c36011c: tuned theory structure.

wenzelm committed rISABELLE1299c8c91ed5: more robust: size varies due to different position information in "isabelle….

wenzelm committed rISABELLE25b872d1d421: clarified signature;.

wenzelm committed rISABELLE7db80bd16f1c: tuned proofs;.

wenzelm committed rISABELLE8563046f15c3: clarified error: tmp file can be invalid in odd situations;.

wenzelm committed rISABELLEf2d848a596d1: more robust: file length can be invalid in odd situations;.

wenzelm committed rISABELLE69a22ccd1817: tuned;.

David Matthews <dm@prolingua.co.uk> committed rPOLYML21a631f78824: Use fgetpos and fsetpos instead of ftell and fseek. These work correctly with… (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYML821fab5ed61e: Use std::vector for depthVectorArray. This simplifies the code and avoids… (authored by David Matthews <dm@prolingua.co.uk>).

David Matthews <dm@prolingua.co.uk> committed rPOLYML811539f6e096: Grow the depth vector by more than the minimum each time. Processing a deep… (authored by David Matthews <dm@prolingua.co.uk>).

makarius added a member for isabelle-repository: blanchette.

haftmann committed rISABELLE9e7d40d67258: tuned whitespace.

haftmann committed rAFPc47ca19eaae3: proper prefix syntax.

haftmann committed rAFP7e7b23d02d4b: removed unused auxiliary lemmas.

haftmann committed rISABELLEa7d1fb0c9e16: proper prefix syntax.

haftmann committed rISABELLE9d2716dc79a6: removed unused auxiliary lemmas.

wenzelm committed rISABELLE2e46c0b4042d: tuned;.

wenzelm committed rISABELLEf7a9889068ff: added document antiquotation @{system_option};.

wenzelm committed rISABELLEd6b9dead8c8d: tuned signature;.

wenzelm committed rISABELLE2f782d5f5d5a: improved performance of session exports via bulk transactions;.

wenzelm committed rISABELLE5ea3ed3c52b3: support for bulk operations: consume mailbox content in batches;.

wenzelm committed rISABELLEd6688677a784: clarified signature -- more explicit types;.

wenzelm committed rISABELLEb1c555d3cd71: tuned signature -- more operations;.

makarius added a member for isabelle-repository: pruvisto.

nipkow committed rISABELLE6046f203c245: tuned.

nipkow committed rISABELLE87fd0374b3a0: tuned.

haftmann committed rISABELLE9de7f1067520: strengthened type class for bit operations.

Manuel Eberl <eberlm@in.tum.de> committed rAFP87c3943758c0: More about Bernoulli numbers.

nipkow committed rISABELLE3c0a26b8b49a: tuned.

nipkow committed rISABELLEf636d31f3616: tuned.

Manuel Eberl <eberlm@in.tum.de> committed rAFP5580004cc074: Added von Staudt–Clausen theorem to Bernoulli.

wenzelm committed rISABELLE781b15f53098: more packages;.

wenzelm committed rISABELLE81536e5d8ea7: NEWS;.

wenzelm committed rISABELLE962eda254ac4: more examples;.

wenzelm committed rISABELLEe5984c853f77: more documentation;.

wenzelm committed rISABELLE1579a9160c7f: misc tuning and clarification;.

wenzelm committed rISABELLE3e61534e804e: merged.

wenzelm committed rISABELLE557703db74c3: tuned PHP setup;.

wenzelm committed rISABELLEf79006c533b0: clarified errors: PHP daemon can fail under odd circumstances;.

wenzelm committed rISABELLE0ad53b5f2bb1: more robust;.

wenzelm committed rISABELLE18f87bdbc812: tuned message;.

wenzelm committed rISABELLEbeb781551a66: more sanity checks;.

wenzelm committed rISABELLE7dbadecdc118: just one isabelle-phabricator-phd service, which manages all processes….

wenzelm committed rISABELLE6ab4a5fb82e1: clarified signature: allow compound arg;.

wenzelm committed rISABELLE730090397e0d: clarified signature;.

nipkow committed rISABELLE8d51418d4ec0: merged.

nipkow committed rISABELLEf4579e6800d7: tuned tags.

wenzelm committed rISABELLE30ed6786d775: more portable;.

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>).