Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (2)

Recent Activity

Today

nipkow committed rISABELLE03695eeabdde: merged.
merged
Tue, Mar 31, 5:29 PM
nipkow committed rISABELLE07bec530f02e: cleaned proofs.
cleaned proofs
Tue, Mar 31, 5:29 PM

Yesterday

Julian Brunner <julianbrunner@gmail.com> committed rAFPddaf86ffa226: merged.
merged
Mon, Mar 30, 9:29 PM
Julian Brunner <julianbrunner@gmail.com> committed rAFP744b282fd492: updated benchmarks.
updated benchmarks
Mon, Mar 30, 9:29 PM
Julian Brunner <julianbrunner@gmail.com> committed rAFP819a553f7508: using proper atomic propositions, added more benchmarks.
using proper atomic propositions, added more benchmarks
Mon, Mar 30, 9:29 PM
traytel committed rAFPbde08698d726: avoid nonterminal clash in syntax translation.
avoid nonterminal clash in syntax translation
Mon, Mar 30, 9:02 PM
makarius committed rISABELLEc1bc38327bc2: clarified signature;.
clarified signature;
Mon, Mar 30, 8:57 PM
makarius committed rISABELLE3f02bc5a5a03: more accurate treatment of errors;.
more accurate treatment of errors;
Mon, Mar 30, 8:57 PM
makarius committed rISABELLE50425e4c3910: clarified modules: global quasi-scope for markers;.
clarified modules: global quasi-scope for markers;
Mon, Mar 30, 8:57 PM
nipkow committed rISABELLE2e8f861d21d4: redunant simp rule.
redunant simp rule
Mon, Mar 30, 10:35 AM
paulson committed rISABELLE1f957615cae6: merged.
merged
Mon, Mar 30, 1:10 AM
paulson <lp15@cam.ac.uk> committed rISABELLE2a24c2015a61: more ugly old proofs.
more ugly old proofs
Mon, Mar 30, 1:10 AM

Sun, Mar 29

makarius committed rISABELLE4c8edd527940: merged.
merged
Sun, Mar 29, 10:52 PM
makarius committed rISABELLE189f17479275: tuned;.
tuned;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLEf0499449e149: clarified modules;.
clarified modules;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLEb3bddebe44ca: clarified signature: more explicit type Protocol_Message.Marker;.
clarified signature: more explicit type Protocol_Message.Marker;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLEab5009192ebb: tuned signature -- follow Scala;.
tuned signature -- follow Scala;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLE281591ab169b: tuned;.
tuned;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLE5a4ccef7f310: more explicit type Protocol_Message.Marker;.
more explicit type Protocol_Message.Marker;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLEe33f6e5f86b6: clarified protocol messages: explicitly use physical_writeln, always….
clarified protocol messages: explicitly use physical_writeln, always…
Sun, Mar 29, 10:52 PM
makarius committed rISABELLE1b8861bcb03c: tuned;.
tuned;
Sun, Mar 29, 10:52 PM
makarius committed rISABELLE01166f13c2c0: tuned whitespace;.
tuned whitespace;
Sun, Mar 29, 10:52 PM
paulson <lp15@cam.ac.uk> committed rISABELLEa9de39608b1a: more tidying up of old apply-proofs.
more tidying up of old apply-proofs
Sun, Mar 29, 6:37 PM

Sat, Mar 28

makarius committed rISABELLE74c874b5aed0: merged.
merged
Sat, Mar 28, 10:05 PM
makarius committed rISABELLEe6dead7d5334: tuned;.
tuned;
Sat, Mar 28, 10:05 PM
makarius committed rISABELLE6bce25f9d0ab: tuned;.
tuned;
Sat, Mar 28, 10:05 PM
makarius committed rISABELLEe0a5d6068141: tuned;.
tuned;
Sat, Mar 28, 10:05 PM
makarius committed rISABELLEfb6953e77000: eliminated pointless flag (see also 6533ceee4cd7);.
eliminated pointless flag (see also 6533ceee4cd7);
Sat, Mar 28, 10:05 PM
makarius committed rISABELLE5730eb952208: tuned;.
tuned;
Sat, Mar 28, 10:05 PM
paulson committed rISABELLEbeef2e221c26: merged.
merged
Sat, Mar 28, 9:30 PM
paulson <lp15@cam.ac.uk> committed rISABELLE856c68ab6f13: structured a lot of ancient, horrible proofs.
structured a lot of ancient, horrible proofs
Sat, Mar 28, 9:30 PM
makarius committed rISABELLEd97f504c8145: clarified Isabelle_Process phases;.
clarified Isabelle_Process phases;
Sat, Mar 28, 2:07 PM
makarius committed rISABELLEb3b0d87edd20: clarified order: update syslog before handling exit;.
clarified order: update syslog before handling exit;
Sat, Mar 28, 2:07 PM
makarius committed rISABELLEf7a652732f4e: tuned error message;.
tuned error message;
Sat, Mar 28, 2:07 PM
makarius committed rISABELLEc6fa217c9d5e: clarified signature: more robust startup_join;.
clarified signature: more robust startup_join;
Sat, Mar 28, 2:07 PM
pruvisto committed rAFP81ec186eae5e: Fixed some typos in Furstenberg_Topology.
Fixed some typos in Furstenberg_Topology
Sat, Mar 28, 12:15 PM
kleing committed rAFP9ff984debb46: merge from afp-2019.
merge from afp-2019
Sat, Mar 28, 6:13 AM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPd67fe5c0503b: website update.
website update
Sat, Mar 28, 6:13 AM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP4c1cafe5bbdb: new entry: Furtenberg Topology.
new entry: Furtenberg Topology
Sat, Mar 28, 6:13 AM
nipkow committed rAFP7b6e642f98f1: New entry WOOT_Strong_Eventual_Consistency.
New entry WOOT_Strong_Eventual_Consistency
Sat, Mar 28, 6:13 AM