All Stories
Use Results
Edit Query
Hide Query

paulson <lp15@cam.ac.uk> committed rISABELLE5f71c16f0b37: arg for the nonstandard complex numbers.

arg for the nonstandard complex numbers

paulson <lp15@cam.ac.uk> committed rISABELLEdf893af36eb4: converting arg to Arg.

converting arg to Arg

paulson committed rISABELLEa0024852e699: merged.

merged

paulson <lp15@cam.ac.uk> committed rISABELLEe6e34e64163e: just a bit of tidying up.

just a bit of tidying up

makarius committed rISABELLE1f31ed84c467: tuned signature;.

tuned signature;

makarius committed rISABELLE3556303bd385: create jar in pure Java;.

create jar in pure Java;

makarius committed rISABELLE3b340b44451c: clarified order;.

clarified order;

makarius committed rISABELLEb5d52a4d6fd9: tuned whitespace;.

tuned whitespace;

makarius committed rISABELLE429c1ffb5a36: proper treatment of leading zero;.

proper treatment of leading zero;

makarius committed rISABELLE07781cae0f71: support for jar resources;.

support for jar resources;

makarius committed rISABELLE1f532f2b2f60: tuned;.

tuned;

makarius committed rISABELLEc6631069357b: tuned signature;.

tuned signature;

makarius committed rISABELLE4be1047576e6: support for Isabelle/Scala in pure Java;.

support for Isabelle/Scala in pure Java;

makarius committed rISABELLE631b61f06d0e: tuned signature;.

tuned signature;

makarius committed rISABELLEac1639349ecf: clarified directories;.

clarified directories;

makarius committed rISABELLEa8c5ee444991: clarified modules and signatures;.

clarified modules and signatures;

makarius committed rISABELLEc678e58cf999: back to scala-2.13.5: avoid problems with history in scala REPL;.

back to scala-2.13.5: avoid problems with history in scala REPL;

Jul 1 2021

Asta Halkjær From <andro.from@gmail.com> committed rAFP3e122937ba1a: Add entry public announcement logic.

Add entry public announcement logic

Jul 1 2021, 2:57 PM

Jun 30 2021

makarius committed rISABELLE1d0d9772fff0: tuned imports;.

tuned imports;

Jun 30 2021, 10:26 PM

makarius committed rISABELLE506734c805ac: merged.

merged

makarius committed rISABELLE8cc891183484: clarified Isabelle/Java/Scala project setup;.

clarified Isabelle/Java/Scala project setup;

makarius committed rISABELLEf627ffab387b: support for Isabelle setup in pure Java;.

support for Isabelle setup in pure Java;

makarius committed rISABELLE51f510517aa0: clarified package: towards stand-alone setup;.

clarified package: towards stand-alone setup;

makarius committed rISABELLE0dd54d6c974a: tuned: prefer Java interfaces;.

tuned: prefer Java interfaces;

makarius committed rISABELLE9849943b83fa: tuned;.

tuned;

makarius committed rISABELLE4d64bc387867: tuned: prefer Java interfaces;.

tuned: prefer Java interfaces;

makarius committed rISABELLE1f1e490dd251: clarified modules;.

clarified modules;

makarius committed rISABELLEbf476aed616d: tuned;.

tuned;

makarius committed rISABELLE4df63c3a4c4f: more direct java.home, according to current jdk directory layout;.

more direct java.home, according to current jdk directory layout;

makarius committed rISABELLE5d44c6a7bd7b: clarified signature;.

clarified signature;

makarius committed rISABELLE0ddb5de0506e: clarified signature: prefer Java interfaces;.

clarified signature: prefer Java interfaces;

makarius committed rISABELLE743a58b6b2c3: tuned: prefer Java interfaces;.

tuned: prefer Java interfaces;

makarius committed rISABELLEb709faa96586: clarified signature;.

clarified signature;

makarius committed rISABELLEd7ac039421ec: proper usage;.

proper usage;

makarius committed rISABELLEeb7655fcb090: clarified modules;.

clarified modules;

makarius committed rISABELLE2847a3deedf9: tuned;.

tuned;

makarius committed rISABELLE6c9044f04756: clarified modules (again): services require full Isabelle/Scala environment;.

clarified modules (again): services require full Isabelle/Scala environment;

makarius committed rISABELLE8f6b2eb15240: clarified modules;.

clarified modules;

makarius committed rISABELLE9c2dd041477b: clarified environment (amending 9444489766a1);.

clarified environment (amending 9444489766a1);

makarius committed rISABELLE5ec68c1a07d8: updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;.

updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP718cb448a456: merged.

merged

Jun 30 2021, 9:15 AM

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP20bc49db635f: adapt to changes in HOL-Library.Cardinality.

adapt to changes in HOL-Library.Cardinality

Jun 30 2021, 9:15 AM

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rISABELLE93ba8e3fdcdf: move code setup from Cardinality to separate theory.

move code setup from Cardinality to separate theory

Jun 30 2021, 9:14 AM

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rISABELLE9b981f5612d0: merged.

merged

Jun 30 2021, 9:14 AM

Jun 29 2021

nipkow committed rAFPc4a38a2daedf: Added Approximation_Algorithm for Center_Selection.

Added Approximation_Algorithm for Center_Selection

Jun 29 2021, 2:34 PM

Jun 28 2021

paulson <lp15@cam.ac.uk> committed rISABELLE26171a89466a: A few useful lemmas about derivatives, colinearity and other topics.

A few useful lemmas about derivatives, colinearity and other topics

Jun 28 2021, 7:57 PM

Jun 26 2021

makarius committed rISABELLE0a12ca4f3e8d: proper Font_Subst.cache for paintScreenLineRange;.

proper Font_Subst.cache for paintScreenLineRange;

Jun 26 2021, 9:00 PM

makarius committed rISABELLE994c9dacd2f9: more predictable result, avoid slightly odd "lastSubstFont" by jEdit;.

more predictable result, avoid slightly odd "lastSubstFont" by jEdit;

makarius committed rISABELLE01efb7cbf365: tuned;.

tuned;

makarius committed rISABELLEb1272ec71568: tuned signature;.

tuned signature;

makarius committed rISABELLE9ce206f6e8c6: tuned;.

tuned;

Jun 25 2021

makarius committed rISABELLE0db0cd462163: discontinue i21of4 (old Apple hardware);.

discontinue i21of4 (old Apple hardware);

makarius committed rISABELLE291597140695: avoid deprecated operation;.

avoid deprecated operation;

makarius committed rISABELLEd9ebbfe099a8: tuned;.

tuned;

makarius committed rISABELLEe6c9c1c3f580: support for jEdit font substitution;.

support for jEdit font substitution;

makarius committed rISABELLE6e43936f2111: more ambitious use of AttributedString (despite be825a69fc67, which was for….

more ambitious use of AttributedString (despite be825a69fc67, which was for…

desharna committed rAFP5695f90acdbf: proved conditional completeness of compilation.

proved conditional completeness of compilation

Jun 25 2021, 2:46 PM

makarius committed rISABELLE7730b882f14a: updated to flatlaf-1.2;.

updated to flatlaf-1.2;

Jun 25 2021, 2:23 PM

makarius committed rISABELLEced6e3c03425: more visual emphasis on node status;.

more visual emphasis on node status;

Jun 25 2021, 2:23 PM

makarius committed rISABELLE2d42e52152b1: proper directories after reinstallation of lxbroy10;.

proper directories after reinstallation of lxbroy10;

Jun 25 2021, 2:23 PM

nipkow committed rAFPe8af416c2e70: fixed typos.

fixed typos

Jun 25 2021, 10:20 AM

Jun 24 2021

florian.haftmann committed rAFP1a99ac2d4342: more word cleanup.

more word cleanup

Jun 24 2021, 1:31 PM

florian.haftmann committed rISABELLEf46e9f75b7d5: more word cleanup.

more word cleanup

Jun 24 2021, 1:30 PM

Jun 23 2021

florian.haftmann committed rISABELLE7181130f5872: more default simp rules.

more default simp rules

florian.haftmann committed rISABELLEd156b141fe2f: merged.

merged

florian.haftmann committed rISABELLE465846b611d5: some word streamlining.

some word streamlining

florian.haftmann committed rAFPf1195cc96e85: more default simp rules.

more default simp rules

florian.haftmann committed rAFP9e42e0c5f9f9: some word streamlining.

some word streamlining

makarius committed rISABELLE3d3c60a90af5: avoid legacy domain informatik.tu-muenchen.de;.

avoid legacy domain informatik.tu-muenchen.de;

Jun 23 2021, 5:43 PM

Jun 22 2021

florian.haftmann committed rAFP55af834ad1b8: made consistent again.

made consistent again

Jun 22 2021, 4:04 PM

Jun 21 2021

Fabian Huch <huch@in.tum.de> committed rAFP291a8d8961b4: Fixed entry name for theories in sub-directory.

Fixed entry name for theories in sub-directory

Jun 21 2021, 5:01 PM

Jun 20 2021

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFPd6c66721438d: Stone_Relation_Algebras, Aggregation_Algebras: added history to metadata.

Stone_Relation_Algebras, Aggregation_Algebras: added history to metadata

Jun 20 2021, 2:10 AM

Jun 19 2021

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFP7b56a9ce5619: Relational_Disjoint_Set_Forests: updated metadata to reflect added theory.

Relational_Disjoint_Set_Forests: updated metadata to reflect added theory

Jun 19 2021, 7:57 AM

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFP98c7aa03457d: Relational_Disjoint_Set_Forests: add theory More_Disjoint_Set_Forests.

Relational_Disjoint_Set_Forests: add theory More_Disjoint_Set_Forests

Jun 19 2021, 7:00 AM

Jun 18 2021

makarius committed rISABELLE66bff50bc5f1: tuned --- following hints by IntelliJ;.

tuned --- following hints by IntelliJ;

Jun 18 2021, 4:29 PM

makarius committed rISABELLE4e94ceabaaad: tuned signature;.

tuned signature;

Jun 18 2021, 4:29 PM

makarius committed rISABELLE9594d8e33c57: tuned;.

tuned;

makarius committed rISABELLEac5a72740f3a: tuned;.

tuned;

makarius committed rISABELLE38fe15a42ff2: tuned signature;.

tuned signature;

makarius committed rISABELLEaa0b1fbe6be3: tuned;.

tuned;

makarius committed rISABELLEdfac078e5444: tuned signature (see 2d6a489adb01);.

tuned signature (see 2d6a489adb01);