Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Active Repositories

Recent Activity

Today

paulson committed rAFP3e3ac2ce9873: merged.
merged
Fri, May 7, 5:52 PM
paulson <lp15@cam.ac.uk> committed rAFP9793065dd1c9: slight tidying of 1.19.
slight tidying of 1.19
Fri, May 7, 5:52 PM
makarius committed rISABELLE9b4579e5bced: updated to polyml-5.8.2 (official release);.
updated to polyml-5.8.2 (official release);
Fri, May 7, 2:33 PM
makarius committed rISABELLE0da9e824255f: merged.
merged
Fri, May 7, 2:33 PM
makarius committed rISABELLEa2d3b4a90bca: proper option for linux_arm;.
proper option for linux_arm;
Fri, May 7, 2:33 PM
makarius committed rISABELLEac6f8fff036b: clarified default_platform_families (again);.
clarified default_platform_families (again);
Fri, May 7, 2:33 PM
dcjm committed rPOLYML48ca209fd6a1: Rebuilt after merge. (authored by dcjm).
Rebuilt after merge.
Fri, May 7, 1:37 PM
dcjm committed rPOLYML3af934b6e907: Merge branch 'master' into ARMMerge2 (authored by dcjm).
Merge branch 'master' into ARMMerge2
Fri, May 7, 1:37 PM
makarius committed rISABELLEf4778e08dcd7: proper "$?";.
proper "$?";
Fri, May 7, 12:43 PM
dcjm committed rPOLYMLfb4c91ba3ac1: Rebuilt pre-built compiler with endian fix. (authored by dcjm).
Rebuilt pre-built compiler with endian fix.
Fri, May 7, 12:34 PM
dcjm committed rPOLYMLe6a463e1614f: Merge branch 'Endian5.8.2' into fixes-5.8.2. Fixes #150 (authored by dcjm).
Merge branch 'Endian5.8.2' into fixes-5.8.2. Fixes #150
Fri, May 7, 12:34 PM
dcjm committed rPOLYML87de1f409494: Only call PolyIsBigEndian when the code segment is being created. It was… (authored by dcjm).
Only call PolyIsBigEndian when the code segment is being created. It was…
Fri, May 7, 12:34 PM
dcjm committed rPOLYML42ada6abe712: Remove 5.8.1 compatibility files. (authored by dcjm).
Remove 5.8.1 compatibility files.
Fri, May 7, 12:34 PM

Yesterday

makarius committed rISABELLEa6a9162f3ec1: tuned message;.
tuned message;
Thu, May 6, 11:50 PM
makarius committed rISABELLEe1432539df35: proper jvm_platform, notably for org.sqlite.lib.path;.
proper jvm_platform, notably for org.sqlite.lib.path;
Thu, May 6, 11:50 PM
makarius committed rISABELLE6945ac084763: clarified purge;.
clarified purge;
Thu, May 6, 11:50 PM
makarius committed rISABELLEf3a356c64193: support for platform family "linux_arm";.
support for platform family "linux_arm";
Thu, May 6, 11:50 PM
makarius committed rISABELLEc88faa1e09e1: support local build_heaps;.
support local build_heaps;
Thu, May 6, 11:50 PM
makarius committed rISABELLE3531d20cf2fd: removed junk;.
removed junk;
Thu, May 6, 11:50 PM
makarius committed rAFP718639187389: no hardwired document;.
no hardwired document;
Thu, May 6, 10:08 PM

Wed, May 5

makarius committed rISABELLE7e465e166bb2: merged.
merged
Wed, May 5, 10:46 PM
makarius committed rISABELLE7c70f10e0b3b: tuned --- rename = dist_name is sufficient;.
tuned --- rename = dist_name is sufficient;
Wed, May 5, 10:46 PM
makarius committed rISABELLEf17caa5002df: proper dist_name;.
proper dist_name;
Wed, May 5, 10:46 PM
makarius committed rISABELLEf2e836e013cb: clarified option -P: allow empty argument;.
clarified option -P: allow empty argument;
Wed, May 5, 10:46 PM
makarius committed rISABELLEa771807df752: support for existing release archive;.
support for existing release archive;
Wed, May 5, 10:46 PM
makarius committed rISABELLEac8feb094bd4: tuned signature;.
tuned signature;
Wed, May 5, 10:46 PM
makarius committed rISABELLE0732f66ce514: more website content;.
more website content;
Wed, May 5, 10:46 PM
makarius committed rISABELLE27659455c592: clarified signature;.
clarified signature;
Wed, May 5, 10:46 PM
makarius committed rISABELLEf033d4f661e9: tuned signature;.
tuned signature;
Wed, May 5, 10:46 PM
makarius committed rISABELLEf8f065e20837: misc tuning and clarification: more explicit types Release_Context….
misc tuning and clarification: more explicit types Release_Context…
Wed, May 5, 10:46 PM
florian.haftmann committed rISABELLE5020054b3a16: tuned theory structure.
tuned theory structure
Wed, May 5, 6:19 PM
florian.haftmann committed rISABELLE4dc3baf45d6a: more appropriate location.
more appropriate location
Wed, May 5, 6:19 PM
florian.haftmann committed rAFPf9dd3b4a6fd5: tuned theory structure.
tuned theory structure
Wed, May 5, 6:18 PM
paulson <lp15@cam.ac.uk> committed rAFP5b179b8ac1fa: more proof tidying.
more proof tidying
Wed, May 5, 5:33 PM
paulson committed rAFPc272e0d255f2: merged.
merged
Wed, May 5, 5:33 PM
florian.haftmann committed rISABELLEb4b70d13c995: collected lemmas on permutations.
collected lemmas on permutations
Wed, May 5, 7:28 AM
florian.haftmann committed rAFP6cf5bfc61f4b: collected lemmas on permutations.
collected lemmas on permutations
Wed, May 5, 7:26 AM

Tue, May 4

paulson committed rAFP30f9c323e6d0: merged.
merged
Tue, May 4, 6:01 PM
paulson <lp15@cam.ac.uk> committed rAFPedae802b7d54: simpler proofs of stronger lemmas.
simpler proofs of stronger lemmas
Tue, May 4, 6:01 PM
paulson <lp15@cam.ac.uk> committed rAFP15998112d738: just a few more tweaks.
just a few more tweaks
Tue, May 4, 6:01 PM