| Author | Object | Transaction | Date |
|---|
| makarius | rISABELLEc5cd7a58cf2d: generic trace operations for main steps of Simplifier; | | Apr 1 2024, 7:06 PM |
| makarius | rISABELLE0d94dd2fd2d0: clarified names (see also 9c00a46d69d0, c5cd7a58cf2d); | | Apr 1 2024, 7:06 PM |
| makarius | rISABELLE06153e2e0cdb: more official AFP.groups; | | Apr 1 2024, 7:06 PM |
| makarius | rISABELLE1478c6d52864: clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that… | | Apr 1 2024, 7:06 PM |
| makarius | rAFP0c06ebfbaba1: tuned proofs: avoid z3 to make it work on arm64-linux; | | Apr 1 2024, 6:46 PM |
| makarius | rAFPc1af731e14b9: tuned proofs: avoid z3 to make it work on arm64-linux; | | Apr 1 2024, 6:46 PM |
| makarius | rISABELLE60b6c735b5d5: clarified signature: prefer authentic cterm used in Simplifier, avoid potential… | | Apr 1 2024, 3:47 PM |
| makarius | rISABELLE0d94dd2fd2d0: clarified names (see also 9c00a46d69d0, c5cd7a58cf2d); | | Apr 1 2024, 3:37 PM |
| makarius | rISABELLE588ea80f16bb: provide scala-3.4.1, but do not activate it: scala-3.3.x is LTS version; | | Apr 1 2024, 3:09 PM |
| makarius | rISABELLE1478c6d52864: clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that… | | Apr 1 2024, 2:36 PM |
| pruvisto | rAFP1cd8d5cb1636: adapted Zeta_3_Irrational w.r.t. isabelle/4c1347e172b1 | | Mar 30 2024, 9:18 PM |
| pruvisto | rISABELLE4c1347e172b1: moved over material from AFP; most importantly on algebraic numbers and… | | Mar 30 2024, 9:18 PM |
| pruvisto | rAFP1cd8d5cb1636: adapted Zeta_3_Irrational w.r.t. isabelle/4c1347e172b1 | | Mar 30 2024, 9:17 PM |
| pruvisto | rISABELLE4c1347e172b1: moved over material from AFP; most importantly on algebraic numbers and… | | Mar 30 2024, 12:53 PM |
| pruvisto | rAFP759e3bb5a93e: adapted to isabelle/4c1347e172b1 | | Mar 30 2024, 12:53 PM |
| pruvisto | rAFP759e3bb5a93e: adapted to isabelle/4c1347e172b1 | | Mar 30 2024, 12:52 PM |
| Fabian Huch <huch@in.tum.de> | rAFP36cf00eeb9e4: moved web_app to distribution (see Isabelle/37ea0727291f); | | Mar 30 2024, 1:13 AM |
| Fabian Huch <huch@in.tum.de> | rISABELLEf82639fe786e: update NEWS; | | Mar 30 2024, 1:12 AM |
| Fabian Huch <huch@in.tum.de> | rISABELLE37ea0727291f: moved web_app module from AFP (e.g., for building web services for the… | | Mar 30 2024, 1:08 AM |
| Fabian Huch <huch@in.tum.de> | rAFPe95075447ef6: tuned; | | Mar 30 2024, 1:02 AM |
| Fabian Huch <huch@in.tum.de> | rAFPd95b0fa0cbf5: clarified web app parameters; | | Mar 30 2024, 12:25 AM |
| pruvisto | rAFP52c5d242c69f: sitegen for Doob_Convergence | | Mar 29 2024, 10:51 PM |
| pruvisto | rAFP6d0634427821: new entry Doob_Convergence | | Mar 29 2024, 10:47 PM |
| pruvisto | rISABELLE4c1347e172b1: moved over material from AFP; most importantly on algebraic numbers and… | | Mar 29 2024, 7:28 PM |
| Fabian Huch <huch@in.tum.de> | rAFP0afb82b8179e: proper topic input validation; | | Mar 29 2024, 6:30 PM |
| Fabian Huch <huch@in.tum.de> | rAFPfad1e73aa9b3: clarified web_app paths: better naming, more operations; | | Mar 29 2024, 5:50 PM |
| Fabian Huch <huch@in.tum.de> | rAFP2da2d86049f3: tuned; | | Mar 29 2024, 5:10 PM |
| Fabian Huch <huch@in.tum.de> | rAFPa821024e3b0d: clarified afp_submit: moved submission logic to model; | | Mar 29 2024, 5:08 PM |
| 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 |