| Author | Object | Transaction | Date |
|---|
| kleing | rAFP17e46e9fdfda: merge from afp-2021 | | May 24 2021, 2:23 AM |
| kleing | rAFP0c83e74a221f: simplify usage instructions more | | May 24 2021, 2:11 AM |
| makarius | rISABELLE9f205ca4178a: tuned message, e.g. for Pure bootstrap; | | May 23 2021, 11:15 PM |
| makarius | rISABELLE6bd747b71bd3: proper signature export (amending b50f8cc8c08e); | | May 23 2021, 11:00 PM |
| makarius | rISABELLE734d5d3fbd9d: syslog option for "isabelle build"; | | May 23 2021, 10:46 PM |
| makarius | rISABELLEac07f6be27ea: avoid unexpected output+behaviour when CDPATH is set | | May 23 2021, 9:16 PM |
| makarius | rISABELLEac7f41b66e1b: further "unset CDPATH", whenever a new non-interactive bash is started (see… | | May 23 2021, 9:16 PM |
| makarius | rISABELLEe78c8a1f03fb: prefer standard document_build=lualatex --- ISABELLE_TMP/examples has been… | | May 23 2021, 9:16 PM |
| makarius | rISABELLE435fb018e8ee: "export_code ... file_prefix ..." is the preferred way to produce output within… | | May 23 2021, 9:16 PM |
| makarius | rISABELLE0f0a2148a099: run makeindex if necessary | | May 23 2021, 9:16 PM |
| makarius | rISABELLEb13b2c1d419e: more robust run of makeindex (amending 0f0a2148a099, Gerwin Klein 2004), using… | | May 23 2021, 9:16 PM |
| makarius | rISABELLE4710dd5093a3: more informative bibtex errors; | | May 23 2021, 9:16 PM |
| makarius | rISABELLE2f023b2b0e1e: more uniform bibtex error, without using perl (see 4710dd5093a3); | | May 23 2021, 9:16 PM |
| makarius | rISABELLEaa7662e475b6: obsolete (see 5a3a2a52648d); | | May 23 2021, 9:16 PM |
| makarius | rISABELLE5a3a2a52648d: clarified treatment of Isabelle .sty files; | | May 23 2021, 9:16 PM |
| makarius | rAFP5b451178b788: merged | | May 23 2021, 9:11 PM |
| makarius | rISABELLEac7f41b66e1b: further "unset CDPATH", whenever a new non-interactive bash is started (see… | | May 23 2021, 9:03 PM |
| makarius | rISABELLE6b4c47666267: merged | | May 23 2021, 8:34 PM |
| makarius | rISABELLEd07ab5b14453: NEWS; | | May 23 2021, 8:12 PM |
| makarius | rISABELLE1419cb7f7f3e: clarified index, more like formal @{element_ref}; | | May 23 2021, 7:59 PM |
| makarius | rISABELLE08db0a06e131: clarified treatment of type constructors; | | May 23 2021, 7:29 PM |
| makarius | rISABELLEc73c22c62d08: misc tuning and clarification; | | May 23 2021, 6:04 PM |
| makarius | rISABELLEb49a03bb136c: tuned signature; | | May 23 2021, 5:35 PM |
| makarius | rISABELLEe502b40717c7: clarified context; | | May 23 2021, 5:08 PM |
| makarius | rISABELLEebaed09ce06e: more uniform document antiquotations for ML: consolidate former setup for… | | May 22 2021, 10:58 PM |
| makarius | rISABELLE35d8132633c6: clarified names; | | May 22 2021, 9:52 PM |
| dcjm | rPOLYMLb3855a506d93: The file part of the command for Unix.execute/executeInEnv should be included… | | May 22 2021, 2:07 PM |
| makarius | rISABELLEeccc4a13216d: clarified index antiquotation for ML: more ambitious type-setting, more… | | May 22 2021, 1:35 PM |
| makarius | rISABELLE14841c6e4d5f: clarified modules; | | May 21 2021, 1:07 PM |
| makarius | rAFP2c2eaa6a32e2: adapted to Isabelle/ef1a18e20ace; | | May 21 2021, 12:44 PM |
| makarius | rISABELLEef1a18e20ace: clarified modules; | | May 21 2021, 12:29 PM |
| makarius | rISABELLEf4be1b0d7a51: tuned; | | May 21 2021, 11:19 AM |
| makarius | rISABELLE74078d50d77b: clarified signature: avoid dispatch via name; | | May 21 2021, 10:15 AM |
| makarius | rISABELLE736c1b239b9d: clarified, e.g. type variables; | | May 20 2021, 11:33 PM |
| makarius | rISABELLEcb933ba9ecfe: tuned index; | | May 20 2021, 10:02 PM |
| makarius | rISABELLEf9c8da253944: more ambitious default for index "is like"; | | May 20 2021, 9:21 PM |
| makarius | rISABELLEa3cdcd7dd167: tuned; | | May 20 2021, 6:32 PM |
| makarius | rISABELLEcd7eb3cdab4c: support for index entries; | | May 20 2021, 6:16 PM |
| makarius | rISABELLEd4202c13bfba: tuned; | | May 20 2021, 1:56 PM |
| makarius | rISABELLEeeb076fc569f: tuned signature; | | May 20 2021, 1:50 PM |
| makarius | rISABELLEfefb5ccb1e5e: clarified modules; | | May 19 2021, 9:42 PM |
| dcjm | rPOLYMLc88fbf88d3fa: Remove Windows GUI code which is now in a separate repository. | | May 19 2021, 6:33 PM |
| makarius | rISABELLEc7a57fc47220: clarified old document build; | | May 19 2021, 6:22 PM |
| makarius | rISABELLE6ddbb74a52c9: unused; | | May 19 2021, 4:44 PM |
| makarius | rISABELLEe78c8a1f03fb: prefer standard document_build=lualatex --- ISABELLE_TMP/examples has been… | | May 19 2021, 4:41 PM |
| makarius | rISABELLE8c460c09665e: prefer standard document_build=lualatex --- no impact of "sedindex" in… | | May 19 2021, 4:35 PM |
| makarius | rISABELLEb2d47981c8dc: unused; | | May 19 2021, 3:53 PM |
| makarius | rISABELLEc1e79e266fb3: proper Unix lines; | | May 19 2021, 3:45 PM |
| paulson <lp15@cam.ac.uk> | rISABELLE58bd53caf800: things need to be ugly | | May 19 2021, 3:17 PM |
| makarius | rISABELLEbeeebae99746: prefer explicit option document_bibliography (actually ignored by build script); | | May 19 2021, 1:21 PM |
| makarius | rISABELLE813a08dff3fd: explicit option document_bibliography; | | May 19 2021, 1:19 PM |
| makarius | rISABELLE941915a3b811: discontinued obsolete "isabelle latex"; | | May 19 2021, 1:00 PM |
| makarius | rISABELLEc31510e70e95: proper bibliography; | | May 19 2021, 12:53 PM |
| makarius | rISABELLEc46ff0efa1ce: more direct use of latex tools: avoid diversion into "isabelle latex -o pdf"… | | May 19 2021, 11:54 AM |
| makarius | rISABELLE3e44f8c3f059: default document_build (lualatex); | | May 19 2021, 11:48 AM |
| paulson <lp15@cam.ac.uk> | rAFPe28d0bec47d2: PATCH to Auto2 (for sorted) by Bohua, pending a permanent generalisation of… | | May 19 2021, 11:45 AM |
| paulson <lp15@cam.ac.uk> | rAFPfc32ad9925ee: fixed two more "sorted" errors | | May 19 2021, 11:28 AM |
| makarius | rISABELLEd701bd96e323: more robust: allow \printindex within the document; | | May 19 2021, 11:18 AM |
| makarius | rISABELLE6638323d2774: clarified bash scripts, with public interfaces for user-defined Document_Build. | | May 19 2021, 11:15 AM |
| paulson <lp15@cam.ac.uk> | rAFPfdbe2f5933e8: fixed two "sorted" issues | | May 19 2021, 11:04 AM |
| makarius | rISABELLEa8ff6e4ee661: tuned signature; | | May 19 2021, 10:41 AM |
| paulson | rAFPcb0adfb311e1: merged | | May 18 2021, 11:50 PM |
| paulson <lp15@cam.ac.uk> | rAFP02b3a52be010: changes for "sorted" as an abbreviation | | May 18 2021, 11:49 PM |
| makarius | rAFP5b4eeafc4c58: recover some patches after years of continuously changing Isabelle LaTeX output; | | May 18 2021, 10:20 PM |
| makarius | rAFP83bb072c2a8b: prefer document_preprocessor over document_build; | | May 18 2021, 10:03 PM |
| makarius | rISABELLE26cd26aaf108: option document_preprocessor; | | May 18 2021, 10:02 PM |
| paulson | rISABELLE2e3a60ce5a9f: merged | | May 18 2021, 9:25 PM |
| paulson <lp15@cam.ac.uk> | rISABELLE06aeb9054c07: sorted as an abbreviation | | May 18 2021, 9:25 PM |
| makarius | rISABELLEf7f0d516df0c: show symbols in Isabelle/ML instead of perl; | | May 18 2021, 9:09 PM |
| makarius | rISABELLEb13b2c1d419e: more robust run of makeindex (amending 0f0a2148a099, Gerwin Klein 2004), using… | | May 18 2021, 8:19 PM |
| makarius | rISABELLE9b77e267e6a9: tuned --- more robust; | | May 18 2021, 7:59 PM |
| makarius | rISABELLEa1ef2589c33f: discontinued somewhat pointless "fixbookmarks": default output works… | | May 18 2021, 7:49 PM |
| makarius | rISABELLE2f023b2b0e1e: more uniform bibtex error, without using perl (see 4710dd5093a3); | | May 18 2021, 5:19 PM |
| makarius | rISABELLE4b1d8beed8a3: proper message for instances of Exn.User_Error, without extra Output. | | May 18 2021, 5:02 PM |
| makarius | rISABELLEdfc7579aae9d: tuned; | | May 18 2021, 4:18 PM |
| makarius | rISABELLE2574de12ad29: clarified command-line options; | | May 18 2021, 4:15 PM |
| makarius | rISABELLEaa7662e475b6: obsolete (see 5a3a2a52648d); | | May 18 2021, 4:01 PM |
| makarius | rISABELLEcd9afbd0ccb9: redundant: copy produced from session document_files; | | May 18 2021, 3:57 PM |
| makarius | rISABELLE5a3a2a52648d: clarified treatment of Isabelle .sty files; | | May 18 2021, 3:46 PM |
| makarius | rAFP7277415751d4: prefer document_logo instead of document_build script; | | May 18 2021, 3:22 PM |
| makarius | rISABELLE1bbbaae6b5e3: option document_logo; | | May 18 2021, 3:17 PM |
| makarius | rAFPb08597803da3: proper options; | | May 18 2021, 1:34 PM |
| makarius | rISABELLE9e1de6fb9579: proper options; | | May 17 2021, 11:38 PM |
| makarius | rISABELLE52030acb19ac: option document_build refers to build engine in Isabelle/Scala; | | May 17 2021, 11:30 PM |
| makarius | rISABELLE7c2f7688a5a8: redundant: tmp_dir is purged anyway; | | May 17 2021, 8:37 PM |
| makarius | rISABELLEd4c7b88f56a0: misc tuning and clarification; | | May 17 2021, 8:32 PM |
| makarius | rISABELLEecb31c3bf980: clarified modules; | | May 17 2021, 4:15 PM |
| makarius | rISABELLE2f4cb9cb087f: tuned --- clarified corner cases; | | May 17 2021, 3:01 PM |
| makarius | rISABELLE00ef0f401a29: more uniform use of Properties.Eq.unapply, with slightly changed semantics in… | | May 17 2021, 2:54 PM |
| makarius | rISABELLEbf51c23f3f99: clarified signature -- avoid odd warning about scala/bug#6675; | | May 17 2021, 2:07 PM |
| makarius | rISABELLEe7deaadc5eab: tuned; | | May 17 2021, 2:07 PM |
| makarius | rISABELLEd95d34efbe6f: tuned; | | May 17 2021, 1:48 PM |
| makarius | rISABELLE3eba8d4b624b: clarified signature; | | May 17 2021, 1:40 PM |
| makarius | rISABELLE5833b556b3b5: proper syntax of Scala 3; | | May 17 2021, 1:37 PM |
| florian.haftmann | rAFPe766628a0795: mere abbreviation for logical alias | | May 17 2021, 11:07 AM |
| florian.haftmann | rISABELLE4b1386b2c23e: mere abbreviation for logical alias | | May 17 2021, 11:07 AM |
| kleing | rISABELLEac07f6be27ea: avoid unexpected output+behaviour when CDPATH is set | | May 17 2021, 5:57 AM |
| makarius | rISABELLE241cfa881788: enforce syntax of Scala 3; | | May 16 2021, 11:22 PM |
| makarius | rAFP75faf142b4be: eliminated odd clone (see Isabelle/caa5a257d3ed); | | May 16 2021, 7:47 PM |
| makarius | rISABELLEcaa5a257d3ed: unused; | | May 16 2021, 7:47 PM |