Author | Object | Transaction | Date |
---|
Fabian Huch <huch@in.tum.de> | rAFP2c7c46f5b86b: clarified afp_submit: separate model, view, and (API) paths properly; | | Mar 29 2024, 3:53 PM |
Fabian Huch <huch@in.tum.de> | rAFPfbd3048e5c19: better rendering of submission archive and Isabelle log; | | Mar 29 2024, 2:12 PM |
paulson <lp15@cam.ac.uk> | rAFPb87e29fd506a: sitegen for Kummer_Congruence | | Mar 29 2024, 1:40 PM |
paulson <lp15@cam.ac.uk> | rAFP1ebd4536fe74: New entry Kummer_Congruence | | Mar 29 2024, 1:37 PM |
paulson <lp15@cam.ac.uk> | rAFPceff43a60f39: sitegen for CondNormReasHOL | | Mar 29 2024, 1:20 PM |
paulson <lp15@cam.ac.uk> | rAFP5f12b29d4a50: New entry CondNormReasHOL | | Mar 29 2024, 1:10 PM |
Eugene W. Stark <stark@cs.stonybrook.edu> | rAFP449ac450b3a6: Merged. | | Mar 29 2024, 2:58 AM |
Eugene W. Stark <stark@cs.stonybrook.edu> | rAFP6610630663ea: Sync with my development repo. | | Mar 29 2024, 2:57 AM |
Fabian Huch <huch@in.tum.de> | rAFPc59ea7fd010b: proper state handling in submission handler; | | Mar 29 2024, 12:24 AM |
Fabian Huch <huch@in.tum.de> | rAFP28ad1f400df1: tuned; | | Mar 29 2024, 12:23 AM |
Fabian Huch <huch@in.tum.de> | rAFP5fcf885cecfd: tuned name; | | Mar 29 2024, 12:13 AM |
Fabian Huch <huch@in.tum.de> | rAFP519c2c73b80e: add explicit synchronized server state; | | Mar 28 2024, 7:37 PM |
Fabian Huch <huch@in.tum.de> | rAFP45bd80541bcd: more uniform load_entries; | | Mar 28 2024, 7:26 PM |
Fabian Huch <huch@in.tum.de> | rAFP7a425b5f62ba: tuned: prefer for-comprehension in complicated situations; | | Mar 28 2024, 6:48 PM |
Fabian Huch <huch@in.tum.de> | rAFPb93b79b9240e: tuned formatting; | | Mar 28 2024, 6:30 PM |
Fabian Huch <huch@in.tum.de> | rAFP01987db5d362: tuned: more uniform Isabelle style; | | Mar 28 2024, 6:25 PM |
Emin Karayel <me@eminkarayel.de> | rAFPf8eca525e197: Distributed_Distinct_Elements: Fix aliasing issue introduce in isabelle… | | Mar 28 2024, 6:14 PM |
Fabian Huch <huch@in.tum.de> | rAFPf111b9c197e8: tuned imports; | | Mar 28 2024, 5:56 PM |
makarius | rAFP0df87a34e8a0: merged | | Mar 28 2024, 5:45 PM |
Fabian Huch <huch@in.tum.de> | rAFPb7690d847464: tuned; | | Mar 28 2024, 5:44 PM |
Fabian Huch <huch@in.tum.de> | rAFP307a818fb212: clarified options; | | Mar 28 2024, 5:38 PM |
makarius | rAFP5aca58481bd5: tuned proofs: avoid z3 to make it work on arm64-linux; | | Mar 28 2024, 5:35 PM |
makarius | rAFPabe7b3319f06: tuned whitespace; | | Mar 28 2024, 5:26 PM |
makarius | rAFP4c396108a3a9: tuned proofs: avoid z3 to make it work on arm64-linux; | | Mar 28 2024, 5:21 PM |
makarius | rAFP2c25484e1496: tuned proofs: avoid z3 to make it work on arm64-linux; | | Mar 28 2024, 4:57 PM |
makarius | rISABELLE87f90735e6dd: removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g. | | Mar 28 2024, 4:45 PM |
makarius | rISABELLEf150253cb201: RDF meta data for AFP entries; | | Mar 28 2024, 4:45 PM |
makarius | rISABELLE87f90735e6dd: removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g. | | Mar 28 2024, 4:40 PM |
makarius | rISABELLE9279e96eb34e: clarified signature; | | Mar 28 2024, 4:38 PM |
makarius | rAFP9ce4d6a809c6: update to Isabelle/42bc8ab751c1; | | Mar 28 2024, 4:28 PM |
makarius | rISABELLE42bc8ab751c1: clarified modules: more official Sessions.notable_groups; | | Mar 28 2024, 4:27 PM |
nipkow | rISABELLEf8d7df38d7c6: tuned | | Mar 28 2024, 4:14 PM |
Fabian Huch <huch@in.tum.de> | rAFP9cad40069322: add option to run formatting operations on all metadata files; | | Mar 28 2024, 4:07 PM |
Fabian Huch <huch@in.tum.de> | rISABELLE68f6b29ae066: tuned; | | Mar 28 2024, 3:08 PM |
Fabian Huch <huch@in.tum.de> | rAFP4cb970a0955a: clarified types: richer interface for metadata; | | Mar 28 2024, 2:47 PM |
paulson | rISABELLE44d8fb3da9d5: merged | | Mar 28 2024, 2:33 PM |
paulson <lp15@cam.ac.uk> | rISABELLE35b2143aeec6: An assortment of new material, mostly due to Manuel | | Mar 28 2024, 2:32 PM |
makarius | rISABELLE9cdc4f533b91: rebuild rsync-3.2.7 on current platforms, including native arm64-darwin; | | Mar 28 2024, 12:56 PM |
Fabian Huch <huch@in.tum.de> | rAFP4395ecd3d7a5: tuned; | | Mar 28 2024, 12:15 PM |
makarius | rISABELLE7d8a24c5559d: tuned signature; | | Mar 28 2024, 11:45 AM |
makarius | rISABELLEb525f783b784: tuned; | | Mar 28 2024, 11:35 AM |
makarius | rISABELLEa213dd3c0b29: tuned signature; | | Mar 28 2024, 11:29 AM |
desharna | rISABELLE67e77f1e6d7b: added special syntax for FSet.Ball and FSet.Bex | | Mar 28 2024, 9:41 AM |
desharna | rISABELLE804a41d08b84: tuned proof | | Mar 28 2024, 9:40 AM |
desharna | rISABELLE19cc354ba625: merged | | Mar 28 2024, 8:30 AM |
makarius | rISABELLE308ccc1ef982: proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests; | | Mar 27 2024, 10:56 PM |
makarius | rISABELLEda323d3d7570: proper "isabelle go_setup" for Jenkins; | | Mar 27 2024, 10:35 PM |
makarius | rAFP1699d5f4b11d: proper Go setup, following Isabelle/da323d3d7570; | | Mar 27 2024, 10:35 PM |
makarius | rAFP1699d5f4b11d: proper Go setup, following Isabelle/da323d3d7570; | | Mar 27 2024, 10:19 PM |
makarius | rISABELLEda323d3d7570: proper "isabelle go_setup" for Jenkins; | | Mar 27 2024, 10:12 PM |
makarius | rAFP1a2512112874: tuned proofs: avoid z3 to make it work on arm64-linux; | | Mar 27 2024, 9:52 PM |
makarius | rISABELLEa0210a24b547: dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24); | | Mar 27 2024, 9:51 PM |
makarius | rISABELLE38bbc2ff3c24: remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup"; | | Mar 27 2024, 9:51 PM |
makarius | rISABELLEa0210a24b547: dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24); | | Mar 27 2024, 9:51 PM |
makarius | rAFPd8244335636c: tuned proofs: avoid z3 to make it work on arm64-linux; | | Mar 27 2024, 9:31 PM |
makarius | rAFPd9d45697c125: tuned proofs: avoid z3 to make it work on arm64-linux; | | Mar 27 2024, 9:20 PM |
makarius | rAFP455b44957816: tuned proofs: avoid z3 to make it work on arm64-linux; | | Mar 27 2024, 8:43 PM |
makarius | rAFPd0bd37a0fea4: tuned proofs: avoid z3 to make it work on arm64-linux; | | Mar 27 2024, 8:07 PM |
desharna | rISABELLEc40bdfc84640: tuned proofs of Equiv_Relations.equiv | | Mar 27 2024, 6:29 PM |
makarius | rISABELLE742e39db4d58: tuned message; | | Mar 27 2024, 5:51 PM |
makarius | rISABELLEa0f93621c332: merged | | Mar 27 2024, 5:39 PM |
makarius | rISABELLE30eb547bda4a: tuned NEWS; | | Mar 27 2024, 5:39 PM |
makarius | rISABELLE0732ee5c8ee1: support for "all" platforms; | | Mar 27 2024, 5:11 PM |
nipkow | rAFPbd6e0a8eeb23: updates to new time function generator that now translates undefined to… | | Mar 27 2024, 5:11 PM |
makarius | rISABELLEb1e2246147eb: clarified signature; | | Mar 27 2024, 5:04 PM |
nipkow | rISABELLE9b2f72f5a29a: merged | | Mar 27 2024, 4:48 PM |
nipkow | rISABELLEa594d22e69d6: updated time functions for Array_Braun | | Mar 27 2024, 4:48 PM |
paulson <lp15@cam.ac.uk> | rAFP18437ad04fb8: Fixes mostly for log_mono aliasing | | Mar 27 2024, 4:18 PM |
paulson | rISABELLEc964cd759f47: merged | | Mar 27 2024, 4:16 PM |
paulson <lp15@cam.ac.uk> | rISABELLE95b4fb2b5359: New material and a bit of refactoring | | Mar 27 2024, 4:16 PM |
makarius | rISABELLE37f852399a32: prefer original TEMP from Windows, e.g. relevant for Isabelle distribution… | | Mar 27 2024, 3:53 PM |
makarius | rISABELLE71d005ffa9fe: remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and… | | Mar 27 2024, 3:53 PM |
makarius | rISABELLEfa18208fd7bd: more robust $TMPDIR on windows, e.g. for repository snapshot: do not depend on… | | Mar 27 2024, 3:53 PM |
makarius | rISABELLE71d005ffa9fe: remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and… | | Mar 27 2024, 3:38 PM |
makarius | rISABELLE98808cc7b0c1: tuned; | | Mar 27 2024, 3:01 PM |
makarius | rISABELLEebd988ee1d57: more robust Markdown; | | Mar 27 2024, 2:40 PM |
makarius | rISABELLE5c00c04f09fb: misc tuning; | | Mar 27 2024, 2:37 PM |
makarius | rISABELLEa2d15ad6877a: run "isabelle components_build -u"; | | Mar 27 2024, 2:20 PM |
makarius | rISABELLE38bbc2ff3c24: remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup"; | | Mar 27 2024, 1:41 PM |
makarius | rISABELLE8347ffa1f92c: provide Go component | | Mar 27 2024, 1:41 PM |
makarius | rISABELLE38bbc2ff3c24: remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup"; | | Mar 27 2024, 1:41 PM |
makarius | rISABELLE64e57aafca1e: tuned order; | | Mar 27 2024, 1:32 PM |
makarius | rISABELLEa03a7d4b82f8: more Setup_Tool services; | | Mar 27 2024, 1:23 PM |
makarius | rISABELLEd1ac1bb01060: clarified signature; | | Mar 27 2024, 1:19 PM |
makarius | rISABELLE27f2a6bd5616: proper SSH operations; | | Mar 27 2024, 1:17 PM |
makarius | rISABELLEc43a51fde4f5: tuned signature: more permissive; | | Mar 27 2024, 1:17 PM |
makarius | rISABELLE77e605c66797: clarified signature: explicit variable is easier to find in source; | | Mar 27 2024, 12:54 PM |
makarius | rISABELLEba06861e91f9: proper services for Setup_Tool --- avoid hardwired stuff; | | Mar 27 2024, 12:50 PM |
paulson <lp15@cam.ac.uk> | rAFPc6e769593bac: Brought this new entry up-to-date with the development version | | Mar 27 2024, 12:12 PM |
desharna | rISABELLE38803a6b3357: added lemma wfp_on_image and author name to theory | | Mar 27 2024, 11:49 AM |
desharna | rISABELLEb0a46cf73aa4: merged | | Mar 27 2024, 10:54 AM |
makarius | rISABELLE11a1f4d7af51: allow raw input in HTML (e.g., for web applications); | | Mar 26 2024, 10:12 PM |
makarius | rISABELLEfb96063456fd: more robust: untyped/unscoped markup elements need to reside in module Markup… | | Mar 26 2024, 10:12 PM |
makarius | rISABELLEac4412562c7b: more robust XML body: allow empty text, as well as arbitrary pro-forma markup… | | Mar 26 2024, 9:44 PM |
makarius | rISABELLEfb96063456fd: more robust: untyped/unscoped markup elements need to reside in module Markup… | | Mar 26 2024, 9:34 PM |
makarius | rISABELLE339325fdb128: misc tuning for release; | | Mar 26 2024, 9:25 PM |
Lars Hupel <lars@hupel.info> | rAFP070dbf86a3c1: merged | | Mar 26 2024, 9:18 PM |
makarius | rISABELLE6d01661a055b: merged; | | Mar 26 2024, 9:16 PM |
makarius | rISABELLEce9b649ee2dd: NEWS for "isabelle go_setup"; | | Mar 26 2024, 9:09 PM |
makarius | rISABELLEf1686f71dffc: proper platform_path for Windows; | | Mar 26 2024, 9:04 PM |