Author | Object | Transaction | Date |
---|
florian.haftmann | rISABELLEd156b141fe2f: merged | | Jun 23 2021, 8:38 PM |
florian.haftmann | rAFPf1195cc96e85: more default simp rules | | Jun 23 2021, 7:43 PM |
florian.haftmann | rAFP9e42e0c5f9f9: some word streamlining | | Jun 23 2021, 7:43 PM |
florian.haftmann | rISABELLE7181130f5872: more default simp rules | | Jun 23 2021, 7:43 PM |
florian.haftmann | rISABELLE465846b611d5: some word streamlining | | Jun 23 2021, 7:43 PM |
makarius | rISABELLE3d3c60a90af5: avoid legacy domain informatik.tu-muenchen.de; | | Jun 23 2021, 5:39 PM |
paulson <lp15@cam.ac.uk> | rAFP2241611aef17: fixed a messy reference | | Jun 23 2021, 12:33 PM |
paulson <lp15@cam.ac.uk> | rAFP1f48f33779db: Van_der_Waerden website | | Jun 23 2021, 12:17 PM |
paulson <lp15@cam.ac.uk> | rAFPa3c7e21a602f: new entry Van_der_Waerden | | Jun 23 2021, 12:12 PM |
florian.haftmann | rAFP55af834ad1b8: made consistent again | | Jun 22 2021, 4:02 PM |
Fabian Huch <huch@in.tum.de> | rAFP291a8d8961b4: Fixed entry name for theories in sub-directory | | Jun 21 2021, 4:57 PM |
nipkow | rAFP6424fbf12644: New entry IMP_Compiler | | Jun 21 2021, 9:04 AM |
Walter Guttmann <walter.guttmann@canterbury.ac.nz> | rAFPd6c66721438d: Stone_Relation_Algebras, Aggregation_Algebras: added history to metadata | | Jun 20 2021, 2:09 AM |
Walter Guttmann <walter.guttmann@canterbury.ac.nz> | rAFP7b56a9ce5619: Relational_Disjoint_Set_Forests: updated metadata to reflect added theory | | Jun 19 2021, 7:56 AM |
Walter Guttmann <walter.guttmann@canterbury.ac.nz> | rAFP98c7aa03457d: Relational_Disjoint_Set_Forests: add theory More_Disjoint_Set_Forests | | Jun 19 2021, 6:59 AM |
makarius | rISABELLE66bff50bc5f1: tuned --- following hints by IntelliJ; | | Jun 18 2021, 3:03 PM |
makarius | rISABELLE4e94ceabaaad: tuned signature; | | Jun 18 2021, 2:35 PM |
makarius | rISABELLEdfac078e5444: tuned signature (see 2d6a489adb01); | | Jun 18 2021, 2:25 PM |
makarius | rISABELLE2d6a489adb01: clarified signature; | | Jun 18 2021, 2:25 PM |
makarius | rISABELLEac5a72740f3a: tuned; | | Jun 18 2021, 12:13 PM |
makarius | rISABELLE9594d8e33c57: tuned; | | Jun 18 2021, 12:13 PM |
makarius | rISABELLE38fe15a42ff2: tuned signature; | | Jun 18 2021, 12:12 PM |
makarius | rISABELLEaa0b1fbe6be3: tuned; | | Jun 18 2021, 11:48 AM |
makarius | rISABELLEdfac078e5444: tuned signature (see 2d6a489adb01); | | Jun 18 2021, 11:32 AM |
desharna | rISABELLEbc263f1f68cd: added support for TFX's and THF's $ite to Sledgehammer | | Jun 17 2021, 12:57 PM |
desharna | rISABELLE4538d6ffafbd: tuned Mirabelle documentation | | Jun 17 2021, 11:27 AM |
desharna | rISABELLEa88427e55371: shortened long lines | | Jun 17 2021, 10:46 AM |
desharna | rISABELLE07675be65227: fixed typos | | Jun 17 2021, 10:43 AM |
desharna | rISABELLEc55980cf7374: updated Mirabelle documentation | | Jun 17 2021, 10:37 AM |
desharna | rISABELLEeab5cd9c7862: changed Mirabelle's filter to use short theory names | | Jun 17 2021, 10:30 AM |
florian.haftmann | rAFP06eb6c7d6c76: lemma grooming | | Jun 17 2021, 8:18 AM |
florian.haftmann | rAFPc2595f7c289f: no duplicates of shift operations | | Jun 16 2021, 10:19 AM |
florian.haftmann | rISABELLE52b829b18066: more lemmas | | Jun 16 2021, 10:19 AM |
kleing | rAFP2e179108e08f: merge Jinja/Isar work | | Jun 15 2021, 2:56 AM |
desharna | rAFP5e24878a9118: updated change history for Interpreter_Optimization | | Jun 14 2021, 3:04 PM |
paulson | rAFP29da90822fc7: merged | | Jun 14 2021, 1:59 PM |
paulson <lp15@cam.ac.uk> | rAFPa51be9ca4b87: updated, replacing axiomatizations by proper locales | | Jun 14 2021, 1:59 PM |
desharna | rAFP95f457f69761: added basic blocks | | Jun 14 2021, 10:53 AM |
desharna | rISABELLEadb34395b622: added support for unbounded max calls to Mirabelle | | Jun 12 2021, 3:37 PM |
desharna | rISABELLEbb277f37c34a: added warnings when defining unamed or redefining Mirabelle action | | Jun 12 2021, 12:39 PM |
makarius | rISABELLE93228ff7aa67: tuned whitespace; | | Jun 12 2021, 12:16 PM |
desharna | rISABELLE4eac16052a94: tuned Mirabelle | | Jun 11 2021, 9:33 AM |
Asta Halkjær From <andro.from@gmail.com> | rAFP0730332cf9f6: Fix typo in date | | Jun 10 2021, 4:36 PM |
desharna | rISABELLE77306bf4e1ee: merged | | Jun 10 2021, 11:54 AM |
desharna | rISABELLE58f6b41efe88: refactored Mirabelle to produce output in real time | | Jun 10 2021, 11:21 AM |
florian.haftmann | rISABELLE9447668d1b77: global interpretation into nested targets | | Jun 9 2021, 8:04 PM |
florian.haftmann | rISABELLEbfce186331be: more succint interfaces | | Jun 9 2021, 8:04 PM |
makarius | rISABELLE014b944f4972: tuned messages; | | Jun 9 2021, 12:11 PM |
makarius | Blog Post: Reactivated ML profiling | makarius set this post's subtitle to "". | Jun 9 2021, 12:11 PM |
makarius | Blog Post: Reactivated ML profiling | | Jun 9 2021, 12:11 PM |
makarius | Blog Post: Reactivated ML profiling | | Jun 9 2021, 12:11 PM |
makarius | Blog Post: Reactivated ML profiling | makarius renamed this blog post from to Reactivated ML profiling. | Jun 9 2021, 12:11 PM |
makarius | Blog Post: Reactivated ML profiling | | Jun 9 2021, 12:11 PM |
makarius | Blog Post: Reactivated ML profiling | | Jun 9 2021, 12:11 PM |
makarius | rISABELLE8a9fd2ffb81d: merged | | Jun 9 2021, 11:25 AM |
makarius | rISABELLE014b944f4972: tuned messages; | | Jun 9 2021, 11:21 AM |
makarius | rISABELLE9134ae401ad5: NEWS; | | Jun 9 2021, 10:58 AM |
makarius | rISABELLE95484bd7e1ec: proper profiling within command execution: messages require PIDE id; | | Jun 9 2021, 10:52 AM |
makarius | rISABELLEa5200fa7cb4c: more systematic treatment of profiling mode; | | Jun 9 2021, 10:37 AM |
makarius | rISABELLE0638fa8c01bc: tuned message; | | Jun 8 2021, 11:36 PM |
makarius | rISABELLE0e6a5a6cc767: prefer less intrusive tracing message; | | Jun 8 2021, 11:34 PM |
makarius | rISABELLEf72335f6a9ed: clarified documentation: tracing messages are not shown here; | | Jun 8 2021, 11:23 PM |
nipkow | rISABELLEae2f8144b60d: Lukas Steven's more general fold foctions for maps | | Jun 8 2021, 5:01 PM |
nipkow | rAFP337ae29a0d24: Lukas Steven's changes for his fold updates | | Jun 8 2021, 4:59 PM |
makarius | rISABELLE690fdc14f7fb: add missing file; | | Jun 8 2021, 4:32 PM |
makarius | rISABELLE5dae03d50db1: more formal ML profiling messages; | | Jun 8 2021, 1:17 PM |
makarius | rISABELLE364bac6691de: clarified modules; | | Jun 7 2021, 4:40 PM |
makarius | rISABELLE5153fad491f3: follow Phabricator update 2021 Week 23; | | Jun 7 2021, 3:13 PM |
makarius | rISABELLE2a431e8bb9b4: tuned; | | Jun 7 2021, 2:57 PM |
makarius | Blog Post: More predefined Isabelle symbols | | Jun 7 2021, 2:57 PM |
makarius | Blog Post: More predefined Isabelle symbols | | Jun 7 2021, 2:57 PM |
makarius | Blog Post: More predefined Isabelle symbols | | Jun 7 2021, 2:56 PM |
makarius | Blog Post: More predefined Isabelle symbols | makarius renamed this blog post from to More predefined Isabelle symbols. | Jun 7 2021, 2:56 PM |
makarius | Blog Post: More predefined Isabelle symbols | | Jun 7 2021, 2:56 PM |
makarius | Blog Post: More predefined Isabelle symbols | | Jun 7 2021, 2:56 PM |
makarius | Blog Post: More predefined Isabelle symbols | makarius set this post's subtitle to "". | Jun 7 2021, 2:56 PM |
makarius | rISABELLE2a431e8bb9b4: tuned; | | Jun 7 2021, 2:45 PM |
makarius | Blog Post: System options short form (e.g. "-o document") | makarius renamed this blog post from to System options short form (e.g. "-o document"). | Jun 7 2021, 2:45 PM |
makarius | Blog Post: System options short form (e.g. "-o document") | | Jun 7 2021, 2:45 PM |
makarius | Blog Post: System options short form (e.g. "-o document") | makarius set this post's subtitle to "". | Jun 7 2021, 2:45 PM |
makarius | Blog Post: System options short form (e.g. "-o document") | | Jun 7 2021, 2:45 PM |
makarius | Blog Post: System options short form (e.g. "-o document") | | Jun 7 2021, 2:45 PM |
makarius | Blog Post: System options short form (e.g. "-o document") | | Jun 7 2021, 2:45 PM |
makarius | rISABELLE2a431e8bb9b4: tuned; | | Jun 7 2021, 2:41 PM |
makarius | rISABELLEaefa7d210725: more formal theory and session names; | | Jun 7 2021, 2:40 PM |
makarius | rISABELLE201200b549fc: proper NEWS after Isabelle2021; | | Jun 7 2021, 2:34 PM |
makarius | rISABELLE263dc905d795: updated descriptions; | | Jun 7 2021, 1:04 PM |
makarius | rISABELLE72900f34dbb3: allow system option short form NAME for NAME=true for type string, not just… | | Jun 7 2021, 11:42 AM |
makarius | rISABELLE5b49c650d413: tuned; | | Jun 7 2021, 9:36 AM |
makarius | rISABELLE6e9a47d3850c: more robust within session "HOL"; | | Jun 7 2021, 9:27 AM |
makarius | rISABELLEc10fe904ac10: merged | | Jun 6 2021, 9:39 PM |
makarius | rISABELLE1192c68ebe1c: suppress theories from other sessions, unless explicitly specified via… | | Jun 6 2021, 9:17 PM |
makarius | rISABELLE9ead8d9be3ab: clarified hook for Mirabelle: provide all loaded theories at once (for each… | | Jun 6 2021, 8:29 PM |
florian.haftmann | rISABELLE0510c7a4256a: moved more legacy to AFP | | Jun 6 2021, 5:49 PM |
florian.haftmann | rAFP0b37c282b057: moved more legacy to AFP | | Jun 6 2021, 5:49 PM |
makarius | rISABELLE745e2cd1f5f5: refer to theory "segments" only, according to global Build.build_theories and… | | Jun 6 2021, 4:34 PM |
makarius | rISABELLE60214976d846: tuned; | | Jun 6 2021, 2:55 PM |
makarius | rISABELLEd67688992bde: more uniform schedule_theories, notably for "present" and "commit" phase after… | | Jun 6 2021, 2:52 PM |
makarius | rISABELLEdf0fd744e6bb: tuned; | | Jun 6 2021, 2:12 PM |
kleing | rAFP98a8bdb85f79: merge from afp-2021 | | Jun 6 2021, 3:06 AM |