Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Active Repositories

Recent Activity

Today

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
dcjm committed rPOLYMLf84689bde7d2: Pre-built compilers for X86/64 Windows and X86/64-32 Windows. (authored by dcjm).
Pre-built compilers for X86/64 Windows and X86/64-32 Windows.
Tue, May 4, 1:15 PM
dcjm committed rPOLYML7a7bc0fec7f7: Fix 32-bit pre-built compilers wrongly built. (authored by dcjm).
Fix 32-bit pre-built compilers wrongly built.
Tue, May 4, 1:15 PM
dcjm committed rPOLYMLad51084b76de: Built pre-built compilers for X86/32 and 32-bit interpreted. (authored by dcjm).
Built pre-built compilers for X86/32 and 32-bit interpreted.
Tue, May 4, 1:15 PM
dcjm committed rPOLYML049bf0dc36a7: Rebuilt compilers for SYSV X86/64, X86/64-32 and 64-bit interpreted. (authored by dcjm).
Rebuilt compilers for SYSV X86/64, X86/64-32 and 64-bit interpreted.
Tue, May 4, 1:14 PM
dcjm committed rPOLYML1fd2fd8e59d6: Rebuilt confure for new release. (authored by dcjm).
Rebuilt confure for new release.
Tue, May 4, 1:14 PM
dcjm committed rPOLYML46cc895e6bf9: Update version numbers ready for release of 5.8.2 (authored by dcjm).
Update version numbers ready for release of 5.8.2
Tue, May 4, 1:14 PM
Asta Halkjær From <andro.from@gmail.com> committed rAFP6a7d4e617b10: Tweaks.
Tweaks
Tue, May 4, 12:41 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPd119f1e8ad9a: restructure proof.
restructure proof
Tue, May 4, 12:16 PM