Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

Yesterday

makarius committed rISABELLE96e66ba48052: merged.
merged
Fri, Aug 12, 8:51 PM
makarius committed rISABELLEb054f22efd0d: more GUI elements;.
more GUI elements;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLE298707451ec2: tuned;.
tuned;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLEb8a4f9b1eed6: clarified signature;.
clarified signature;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLEad00fbf64bff: clarified signature --- simplified types;.
clarified signature --- simplified types;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLEd298da61655a: clarified signature --- more operations;.
clarified signature --- more operations;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLE4920ebbde486: tuned, following hints by IntelliJ IDEA;.
tuned, following hints by IntelliJ IDEA;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLE0a14663dffcc: clarified output;.
clarified output;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLE6eb8d6cdb686: proper toString for Content_XML, which is not covered by trait Content;.
proper toString for Content_XML, which is not covered by trait Content;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLEa2b2e8964e1a: tuned signature;.
tuned signature;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLEaffd69bad2d4: clarified signature: support different document_session, e.g. within running….
clarified signature: support different document_session, e.g. within running…
Fri, Aug 12, 8:51 PM
makarius committed rISABELLE9f7abd148545: tuned, following hints by IntelliJ IDEA;.
tuned, following hints by IntelliJ IDEA;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLEd06cae2b407a: unused (despite cf52379c0776);.
unused (despite cf52379c0776);
Fri, Aug 12, 8:51 PM
makarius committed rISABELLEb702a015fb22: clarified signature;.
clarified signature;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLEe71fbea76bd9: unused (see 696819fe2424);.
unused (see 696819fe2424);
Fri, Aug 12, 8:51 PM
makarius committed rISABELLE91f02f224b80: basic setup for document build panel;.
basic setup for document build panel;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLE15951587f171: tuned, following hints by IntelliJ IDEA;.
tuned, following hints by IntelliJ IDEA;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLE4001a6ceb802: tuned, following hints by IntelliJ IDEA;.
tuned, following hints by IntelliJ IDEA;
Fri, Aug 12, 8:51 PM
makarius committed rISABELLEbb8369922d3c: tuned;.
tuned;
Fri, Aug 12, 8:50 PM
makarius committed rISABELLEd6e8d12494be: clarified signature;.
clarified signature;
Fri, Aug 12, 8:50 PM
makarius committed rISABELLE74d6d09e1a36: tuned, following hints by IntelliJ IDEA;.
tuned, following hints by IntelliJ IDEA;
Fri, Aug 12, 8:50 PM
makarius committed rISABELLE51867c8ad109: tuned, following hints by IntelliJ IDEA;.
tuned, following hints by IntelliJ IDEA;
Fri, Aug 12, 8:50 PM
makarius committed rISABELLEf1a89044a712: tuned signature;.
tuned signature;
Fri, Aug 12, 8:50 PM
makarius committed rISABELLE1dd5d4f4b69e: tuned signature;.
tuned signature;
Fri, Aug 12, 8:50 PM
makarius committed rISABELLEb0394e7d43ea: tuned signature, following hints by IntelliJ IDEA;.
tuned signature, following hints by IntelliJ IDEA;
Fri, Aug 12, 8:50 PM
blanchette committed rISABELLE2b106aae897c: added support for cvc5 (whose interface is almost identical to CVC4).
added support for cvc5 (whose interface is almost identical to CVC4)
Fri, Aug 12, 3:35 PM

Thu, Aug 11

nipkow committed rISABELLE3581dcee70db: removing the [simp] attribute breaks too many AFP entries severely.
removing the [simp] attribute breaks too many AFP entries severely
Thu, Aug 11, 1:23 PM
nipkow committed rISABELLEdd04e81172a8: nlists is picked up automatically but conflicts with the RBT setup.
nlists is picked up automatically but conflicts with the RBT setup
Thu, Aug 11, 11:57 AM
nipkow committed rISABELLE40e16228405e: new lemma.
new lemma
Thu, Aug 11, 10:11 AM
nipkow committed rAFP56d5a40ba8fc: adapted to NLists.thy.
adapted to NLists.thy
Thu, Aug 11, 8:32 AM
nipkow committed rAFP64e1c7e89ad3: merged.
merged
Thu, Aug 11, 7:28 AM
nipkow committed rAFP965b1fce10d0: use Library/NList.thy now.
use Library/NList.thy now
Thu, Aug 11, 7:28 AM
nipkow committed rISABELLE5c1856aaf03d: New theory of fixed length lists.
New theory of fixed length lists
Thu, Aug 11, 5:51 AM
nipkow committed rISABELLE2a049b402e53: merged.
merged
Thu, Aug 11, 5:51 AM

Wed, Aug 10

florian.haftmann committed rISABELLEa21debbc7074: Further streamlining of quick-and-dirty evaluation..
Further streamlining of quick-and-dirty evaluation.
Wed, Aug 10, 10:33 PM
florian.haftmann committed rAFPeca5cf0e4817: Further streamlining of quick-and-dirty evaluation..
Further streamlining of quick-and-dirty evaluation.
Wed, Aug 10, 10:29 PM
Achim D. Brucker <adbrucker@0x5f.org> committed rISABELLEf1141438b4db: more correct approximation (contributed by Achim Brucker).
more correct approximation (contributed by Achim Brucker)
Wed, Aug 10, 4:53 PM
florian.haftmann committed rAFPcabf521b7579: An attempt for an integrated solution for quick-and-dirty evaluation..
An attempt for an integrated solution for quick-and-dirty evaluation.
Wed, Aug 10, 4:52 PM

Tue, Aug 9

sterraf committed rAFPa0a812d549dd: Further reduction of locale assumptions.
Further reduction of locale assumptions
Tue, Aug 9, 6:06 PM

Mon, Aug 8

makarius committed rISABELLE8b0dbfbde032: Added tag Isabelle2022-RC0 for changeset b42e20adaeed.
Added tag Isabelle2022-RC0 for changeset b42e20adaeed
Mon, Aug 8, 9:06 PM