Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Active Repositories

Recent Activity

Today

makarius committed rISABELLE386416437ce9: updated example;.
updated example;
Fri, Apr 16, 10:27 PM
makarius committed rISABELLE1d4c9fa00821: clarified options;.
clarified options;
Fri, Apr 16, 10:27 PM
dcjm committed rPOLYMLd621a0b55b42: Reinstate tests on the command argument to Unix.execute to check it is… (authored by dcjm).
Reinstate tests on the command argument to Unix.execute to check it is…
Fri, Apr 16, 6:59 PM
dcjm committed rPOLYML752120226579: Implement Unix.executeInEnv and hence Unix.execute largely in C rather (authored by dcjm).
Implement Unix.executeInEnv and hence Unix.execute largely in C rather
Fri, Apr 16, 6:59 PM
dcjm committed rPOLYMLa9a1347362b3: Update the Windows library code for the FFI changes. (authored by dcjm).
Update the Windows library code for the FFI changes.
Fri, Apr 16, 6:59 PM
florian.haftmann committed rISABELLEed5226fdf89d: proper context variable handling when stripping leadings quantifiers from test….
proper context variable handling when stripping leadings quantifiers from test…
Fri, Apr 16, 7:26 AM

Yesterday

paulson committed rAFP401da3b5743d: merged.
merged
Thu, Apr 15, 6:44 PM
paulson <lp15@cam.ac.uk> committed rAFP075ee4dc645d: minor stylistic changes.
minor stylistic changes
Thu, Apr 15, 6:43 PM
Asta Halkjær From <andro.from@gmail.com> committed rAFP77def7de7e09: Add completeness of modal logics T, KB, K4, S4 and S5.
Add completeness of modal logics T, KB, K4, S4 and S5
Thu, Apr 15, 5:55 PM
paulson <lp15@cam.ac.uk> committed rAFP8f1f310afd72: Stylistic tweaks, which I hope are improvements :-).
Stylistic tweaks, which I hope are improvements :-)
Thu, Apr 15, 2:16 PM

Wed, Apr 14

makarius committed rISABELLEdabe295c3f62: proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);.
proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
Wed, Apr 14, 10:52 PM
makarius committed rISABELLEcd84e58aed26: eliminated perl: prefer elementary GNU printenv;.
eliminated perl: prefer elementary GNU printenv;
Wed, Apr 14, 10:52 PM
makarius committed rISABELLE8ddf6728ad80: more self-contained support for macOS;.
more self-contained support for macOS;
Wed, Apr 14, 10:52 PM
makarius committed rISABELLEa96564139fa7: more robust bootstrap of components;.
more robust bootstrap of components;
Wed, Apr 14, 10:52 PM

Tue, Apr 13

makarius committed rISABELLE629868f96c81: misc tuning and clarification;.
misc tuning and clarification;
Tue, Apr 13, 5:52 PM
makarius committed rISABELLE6c8fc3c038eb: tuned signature;.
tuned signature;
Tue, Apr 13, 12:15 PM
traytel committed rAFPbf041f4c01bf: updated paper references.
updated paper references
Tue, Apr 13, 9:27 AM

Mon, Apr 12

makarius committed rISABELLEb50f8cc8c08e: support for base64 via Isabelle/Scala/ML;.
support for base64 via Isabelle/Scala/ML;
Mon, Apr 12, 11:27 PM
makarius committed rISABELLE23d2adc5489e: compile;.
compile;
Mon, Apr 12, 11:27 PM
makarius committed rISABELLEa30a60aef59f: clarified signature (again);.
clarified signature (again);
Mon, Apr 12, 11:27 PM
makarius committed rISABELLE12b3f78dde61: clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);.
clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);
Mon, Apr 12, 11:27 PM
makarius committed rISABELLE6ab97ac63809: merged.
merged
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEf86661e32bed: clarified signature;.
clarified signature;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEbdba138d462d: clarified signature: more structured arguments, notably for remote provers;.
clarified signature: more structured arguments, notably for remote provers;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEc5512fde6ad1: unused;.
unused;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE355af2d1b817: clarified signature;.
clarified signature;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEe21aef453cd4: unused;.
unused;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEa021bb558feb: clarified message output: flush already happens in write_message_yxml (see….
clarified message output: flush already happens in write_message_yxml (see…
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE1aa92bc4d356: clarified signature for Scala functions;.
clarified signature for Scala functions;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE4e6b31ed7197: clarified signature: avoid tmp file;.
clarified signature: avoid tmp file;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE55b66a45bc94: tuned;.
tuned;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEc5a390b9ae00: clarified cache;.
clarified cache;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEa578ebf5b78d: clarified exceptions;.
clarified exceptions;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEc83152933579: clarified signature: Bytes extends CharSequence already (see d201996f72a8);.
clarified signature: Bytes extends CharSequence already (see d201996f72a8);
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE22b5ecb53dd9: more uniform use of Byte_Message;.
more uniform use of Byte_Message;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE225486d9c960: tuned signature;.
tuned signature;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEa5d1d1e2f109: tuned signature;.
tuned signature;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE192bcee4f8b8: more robust treatment of empty markup: it allows to produce formal chunks;.
more robust treatment of empty markup: it allows to produce formal chunks;
Mon, Apr 12, 11:26 PM

Sun, Apr 11

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPb48d456f9336: merge.
merge
Sun, Apr 11, 10:26 AM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP70ac843c069d: increased timeout.
increased timeout
Sun, Apr 11, 10:26 AM