Author | Object | Transaction | Date |
---|
desharna | rISABELLEf58108b7a60c: refactored Sledgehammer option "induction_rules" | | Jul 8 2021, 5:23 PM |
makarius | rISABELLE75b29d65228e: clarified component settings; | | Jul 8 2021, 4:27 PM |
desharna | rISABELLEd593d18a7a92: merged | | Jul 8 2021, 3:25 PM |
desharna | rISABELLE9231ea46e041: promoted "sledgehammer_instantiate_inducts" to proper option "induction_rules" | | Jul 8 2021, 3:25 PM |
desharna | rISABELLE269b2f976100: added documentation for changes to Sledgehammer option "lam_trans" | | Jul 8 2021, 3:10 PM |
makarius | rISABELLE4d4c806cb7c8: clarified shasum: sources / resources within jar; | | Jul 8 2021, 2:20 PM |
desharna | rAFPa3060bc70b44: merged | | Jul 8 2021, 1:59 PM |
Fabian Huch <huch@in.tum.de> | rAFP805ab069d5b3: merged | | Jul 8 2021, 1:46 PM |
yonoteam <jonjulian23@gmail.com> | rAFP00b5c6a1f1dd: changed to opaque_lifiting as suggested by Isabelle/Jenkins | | Jul 8 2021, 1:34 PM |
makarius | rISABELLEe61add9d5b5e: tuned signature; | | Jul 8 2021, 1:34 PM |
makarius | rISABELLE3cee9d20308e: clarified modules; | | Jul 8 2021, 1:16 PM |
yonoteam <jonjulian23@gmail.com> | rAFPf6308605d678: changed hide_lams for opaque_lifting as suggested by Isabelle/Jenkins | | Jul 8 2021, 12:58 PM |
Fabian Huch <huch@in.tum.de> | rAFP869efd0ea35a: jenkins: pre/post-hook results | | Jul 8 2021, 12:41 PM |
Fabian Huch <huch@in.tum.de> | rISABELLE39e0c7fac69e: jenkins: pre/post-hook results | | Jul 8 2021, 12:39 PM |
desharna | rAFP975b2b1d8a19: renamed hide_lams opaque_lifting | | Jul 8 2021, 12:32 PM |
desharna | rISABELLEfa92bc604c59: merged | | Jul 8 2021, 8:44 AM |
desharna | rISABELLEfd21b4a93043: added opaque_combs and renamed hide_lams to opaque_lifting | | Jul 8 2021, 8:42 AM |
pruvisto | rAFP9c417896a51d: Added missing Public_Announcement_Logic to ROOTS file | | Jul 7 2021, 9:45 PM |
makarius | rISABELLE4a708e150908: more robust treatment of empty string; | | Jul 7 2021, 3:40 PM |
makarius | rISABELLE17c09d1b3588: invoke Scala compiler from Java, without external process; | | Jul 7 2021, 2:32 PM |
Burkhart Wolff <wolff@lri.fr> | rAFP9070c70617f5: More Support on Clean Syntax, Basic Lens Support, New Examples. | | Jul 6 2021, 10:02 PM |
makarius | rISABELLE7d15ebca4bb3: clarified version: Apple now counts like 11, 12, ...; | | Jul 6 2021, 12:36 PM |
paulson <lp15@cam.ac.uk> | rAFP2ccc185fdaac: finishing arg -> Arg and moving some material out of… | | Jul 4 2021, 7:37 PM |
paulson <lp15@cam.ac.uk> | rISABELLE3b76524f5a85: Imported lots of material from Stirling_Formula/Gamma_Asymptotics | | Jul 4 2021, 7:35 PM |
paulson <lp15@cam.ac.uk> | rAFP510c4df209cf: arg -> Arg: the last holdout | | Jul 3 2021, 11:35 AM |
paulson | rAFP0a3968ac9ac6: merged | | Jul 2 2021, 9:55 PM |
paulson <lp15@cam.ac.uk> | rAFP76eb5ab42012: arg -> Arg | | Jul 2 2021, 9:54 PM |
paulson | rISABELLE5b5e015189a4: merged | | Jul 2 2021, 9:43 PM |
paulson <lp15@cam.ac.uk> | rISABELLE5f71c16f0b37: arg for the nonstandard complex numbers | | Jul 2 2021, 9:39 PM |
paulson | rISABELLEa0024852e699: merged | | Jul 2 2021, 4:54 PM |
paulson <lp15@cam.ac.uk> | rISABELLEdf893af36eb4: converting arg to Arg | | Jul 2 2021, 4:54 PM |
makarius | rISABELLE3556303bd385: create jar in pure Java; | | Jul 2 2021, 2:08 PM |
makarius | rISABELLE1f31ed84c467: tuned signature; | | Jul 2 2021, 12:23 PM |
makarius | rISABELLE3b340b44451c: clarified order; | | Jul 2 2021, 12:19 PM |
makarius | rISABELLE429c1ffb5a36: proper treatment of leading zero; | | Jul 2 2021, 12:17 PM |
makarius | rISABELLE07781cae0f71: support for jar resources; | | Jul 2 2021, 12:12 PM |
makarius | rISABELLEb5d52a4d6fd9: tuned whitespace; | | Jul 2 2021, 11:35 AM |
makarius | rISABELLEc6631069357b: tuned signature; | | Jul 2 2021, 11:29 AM |
makarius | rISABELLE1f532f2b2f60: tuned; | | Jul 2 2021, 11:23 AM |
makarius | rISABELLE4be1047576e6: support for Isabelle/Scala in pure Java; | | Jul 1 2021, 11:27 PM |
makarius | rISABELLE631b61f06d0e: tuned signature; | | Jul 1 2021, 11:26 PM |
Asta Halkjær From <andro.from@gmail.com> | rAFP3e122937ba1a: Add entry public announcement logic | | Jul 1 2021, 2:55 PM |
makarius | rISABELLEac1639349ecf: clarified directories; | | Jul 1 2021, 2:06 PM |
makarius | rISABELLEa8c5ee444991: clarified modules and signatures; | | Jul 1 2021, 1:46 PM |
makarius | rISABELLEc678e58cf999: back to scala-2.13.5: avoid problems with history in scala REPL; | | Jul 1 2021, 12:34 PM |
makarius | rISABELLE1d0d9772fff0: tuned imports; | | Jun 30 2021, 10:14 PM |
makarius | rISABELLE9444489766a1: sane environment defaults for Mac OS X, based on former App1/script -- e.g. | | Jun 30 2021, 10:03 PM |
makarius | rISABELLE9c2dd041477b: clarified environment (amending 9444489766a1); | | Jun 30 2021, 10:03 PM |
makarius | rISABELLE506734c805ac: merged | | Jun 30 2021, 9:35 PM |
makarius | rISABELLE8cc891183484: clarified Isabelle/Java/Scala project setup; | | Jun 30 2021, 9:30 PM |
makarius | rISABELLEf627ffab387b: support for Isabelle setup in pure Java; | | Jun 30 2021, 8:57 PM |
paulson <lp15@cam.ac.uk> | rISABELLEe6e34e64163e: just a bit of tidying up | | Jun 30 2021, 6:18 PM |
makarius | rISABELLE0dd54d6c974a: tuned: prefer Java interfaces; | | Jun 30 2021, 4:53 PM |
makarius | rISABELLE51f510517aa0: clarified package: towards stand-alone setup; | | Jun 30 2021, 3:35 PM |
makarius | rISABELLE9849943b83fa: tuned; | | Jun 30 2021, 2:03 PM |
makarius | rISABELLE4df63c3a4c4f: more direct java.home, according to current jdk directory layout; | | Jun 30 2021, 1:49 PM |
makarius | rISABELLEbf476aed616d: tuned; | | Jun 30 2021, 1:46 PM |
makarius | rISABELLE1f1e490dd251: clarified modules; | | Jun 30 2021, 1:25 PM |
makarius | rISABELLE4d64bc387867: tuned: prefer Java interfaces; | | Jun 30 2021, 12:46 PM |
makarius | rISABELLE743a58b6b2c3: tuned: prefer Java interfaces; | | Jun 30 2021, 12:15 PM |
makarius | rISABELLE0ddb5de0506e: clarified signature: prefer Java interfaces; | | Jun 30 2021, 11:35 AM |
Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFP718cb448a456: merged | | Jun 30 2021, 9:12 AM |
Andreas Lochbihler <mail@andreas-lochbihler.de> | rISABELLE9b981f5612d0: merged | | Jun 30 2021, 9:11 AM |
Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFP20bc49db635f: adapt to changes in HOL-Library.Cardinality | | Jun 30 2021, 9:11 AM |
nipkow | rAFPc4a38a2daedf: Added Approximation_Algorithm for Center_Selection | | Jun 29 2021, 2:25 PM |
makarius | rISABELLE5d44c6a7bd7b: clarified signature; | | Jun 28 2021, 8:52 PM |
Andreas Lochbihler <mail@andreas-lochbihler.de> | rISABELLE93ba8e3fdcdf: move code setup from Cardinality to separate theory | | Jun 28 2021, 8:10 PM |
makarius | rISABELLEb709faa96586: clarified signature; | | Jun 28 2021, 8:02 PM |
makarius | rISABELLEd7ac039421ec: proper usage; | | Jun 28 2021, 6:10 PM |
paulson <lp15@cam.ac.uk> | rISABELLE26171a89466a: A few useful lemmas about derivatives, colinearity and other topics | | Jun 28 2021, 4:05 PM |
makarius | rISABELLEeb7655fcb090: clarified modules; | | Jun 28 2021, 2:43 PM |
makarius | rISABELLE2847a3deedf9: tuned; | | Jun 28 2021, 2:24 PM |
makarius | rISABELLE6c9044f04756: clarified modules (again): services require full Isabelle/Scala environment; | | Jun 28 2021, 2:11 PM |
makarius | rISABELLE8f6b2eb15240: clarified modules; | | Jun 28 2021, 1:45 PM |
makarius | rISABELLE5ec68c1a07d8: updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0; | | Jun 28 2021, 1:13 PM |
makarius | rISABELLE9c2dd041477b: clarified environment (amending 9444489766a1); | | Jun 28 2021, 12:29 PM |
makarius | rISABELLE0a12ca4f3e8d: proper Font_Subst.cache for paintScreenLineRange; | | Jun 26 2021, 8:55 PM |
makarius | rISABELLE994c9dacd2f9: more predictable result, avoid slightly odd "lastSubstFont" by jEdit; | | Jun 26 2021, 4:03 PM |
makarius | rISABELLE01efb7cbf365: tuned; | | Jun 26 2021, 3:52 PM |
makarius | rISABELLEb1272ec71568: tuned signature; | | Jun 26 2021, 3:33 PM |
makarius | rISABELLE9ce206f6e8c6: tuned; | | Jun 26 2021, 3:32 PM |
makarius | rISABELLE6e43936f2111: more ambitious use of AttributedString (despite be825a69fc67, which was for… | | Jun 25 2021, 10:06 PM |
makarius | rISABELLEbe825a69fc67: less ambitious use of AttributedString, for proper caret painting within… | | Jun 25 2021, 10:06 PM |
makarius | rISABELLEce22e5c3d4ce: more robust display of bidirectional Unicode text: enforce left-to-right; | | Jun 25 2021, 10:06 PM |
makarius | rISABELLE0db0cd462163: discontinue i21of4 (old Apple hardware); | | Jun 25 2021, 10:05 PM |
makarius | rISABELLE291597140695: avoid deprecated operation; | | Jun 25 2021, 9:33 PM |
makarius | rISABELLEd9ebbfe099a8: tuned; | | Jun 25 2021, 9:16 PM |
makarius | rISABELLEe6c9c1c3f580: support for jEdit font substitution; | | Jun 25 2021, 9:14 PM |
makarius | rISABELLE6e43936f2111: more ambitious use of AttributedString (despite be825a69fc67, which was for… | | Jun 25 2021, 8:30 PM |
desharna | rAFP5695f90acdbf: proved conditional completeness of compilation | | Jun 25 2021, 2:31 PM |
makarius | rISABELLE7730b882f14a: updated to flatlaf-1.2; | | Jun 25 2021, 12:53 PM |
makarius | rISABELLE2d42e52152b1: proper directories after reinstallation of lxbroy10; | | Jun 25 2021, 12:52 PM |
makarius | rISABELLEced6e3c03425: more visual emphasis on node status; | | Jun 25 2021, 12:32 PM |
Rene Thiemann <rene.thiemann@uibk.ac.at> | rAFPb44bedc236cb: metadata and sitegen for MiniSail | | Jun 25 2021, 11:54 AM |
Rene Thiemann <rene.thiemann@uibk.ac.at> | rAFP336dfa0f0b93: new entry: MiniSail | | Jun 25 2021, 11:42 AM |
nipkow | rAFPe8af416c2e70: fixed typos | | Jun 25 2021, 10:19 AM |
Rene Thiemann <rene.thiemann@uibk.ac.at> | rAFP81eccfc5a0e3: sitegen for Public Announcement Logic | | Jun 25 2021, 10:00 AM |
Rene Thiemann <rene.thiemann@uibk.ac.at> | rAFPd764bf06a728: new entry "Public Announcement Logic" | | Jun 25 2021, 9:06 AM |
florian.haftmann | rAFP1a99ac2d4342: more word cleanup | | Jun 24 2021, 8:06 AM |
florian.haftmann | rISABELLEf46e9f75b7d5: more word cleanup | | Jun 24 2021, 8:06 AM |