Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (4)

Wishlist (3)

Recent Activity

Wed, May 27

makarius committed rISABELLE8357ee06ade1: adapted to d25093536482;.
adapted to d25093536482;
Wed, May 27, 10:00 PM
makarius committed rISABELLEb9fbc93f3a24: clarified markup;.
clarified markup;
Wed, May 27, 10:00 PM
makarius committed rISABELLEd25093536482: clarified signature;.
clarified signature;
Wed, May 27, 10:00 PM
makarius committed rISABELLEf8b0271cc744: tuned signature;.
tuned signature;
Wed, May 27, 10:00 PM
makarius updated the post content for Blog Post: Antiquotations for Isabelle systems programming.
Wed, May 27, 4:45 PM
makarius created Blog Post: Antiquotations for Isabelle systems programming.
Wed, May 27, 4:44 PM
makarius committed rISABELLEcdcf2fcf3f54: tuned;.
tuned;
Wed, May 27, 4:44 PM
makarius committed rISABELLEa63072d875d1: proper error positions;.
proper error positions;
Wed, May 27, 4:36 PM
makarius committed rISABELLE64c9628b39fc: more documentation on Isabelle/Scala;.
more documentation on Isabelle/Scala;
Wed, May 27, 4:36 PM
makarius committed rISABELLE0dc67ae4a4c7: more NEWS;.
more NEWS;
Wed, May 27, 4:36 PM
makarius committed rISABELLE70442ddbfb15: tuned whitespace;.
tuned whitespace;
Wed, May 27, 4:36 PM
makarius committed rISABELLE0da5fb75088a: more antiquotations;.
more antiquotations;
Wed, May 27, 4:36 PM
makarius committed rISABELLE1ca5623888bb: tuned;.
tuned;
Wed, May 27, 4:36 PM
makarius committed rISABELLE1529336eaedc: check bash functions against Isabelle settings environment;.
check bash functions against Isabelle settings environment;
Wed, May 27, 4:36 PM
makarius committed rISABELLE0408f6814224: misc tuning;.
misc tuning;
Wed, May 27, 4:36 PM
makarius committed rISABELLEf08cf9d8f90b: breakable scala_name;.
breakable scala_name;
Wed, May 27, 4:36 PM
makarius committed rISABELLE9a12eb655f67: tuned signature;.
tuned signature;
Wed, May 27, 4:35 PM
makarius committed rISABELLE2cf0b0293f0d: proper check of example;.
proper check of example;
Wed, May 27, 4:35 PM
makarius committed rISABELLE4df341249348: discontinued pointless document antiquotation;.
discontinued pointless document antiquotation;
Wed, May 27, 4:35 PM
makarius committed rISABELLEce06d6456cc8: clarified signature --- fit within limit of 22 arguments;.
clarified signature --- fit within limit of 22 arguments;
Wed, May 27, 4:35 PM
makarius committed rISABELLE7a39036d5a19: tuned;.
tuned;
Wed, May 27, 4:35 PM
makarius committed rISABELLEab21876c30c1: tuned;.
tuned;
Wed, May 27, 4:35 PM

Mon, May 25

makarius committed rISABELLEa27747c85700: more antiquotations;.
more antiquotations;
Mon, May 25, 11:03 PM
makarius committed rISABELLEdff81ce866d4: obsolete;.
obsolete;
Mon, May 25, 11:03 PM
makarius committed rISABELLE1b023a4498c3: check free-form Scala source;.
check free-form Scala source;
Mon, May 25, 11:03 PM
makarius committed rISABELLE3b35b0fd7fe8: clarified static_check: avoid accidental evaluation;.
clarified static_check: avoid accidental evaluation;
Mon, May 25, 11:03 PM
makarius committed rISABELLE8dbefe849666: omit pointless memoing: Scala compiler is rather bulky anyway;.
omit pointless memoing: Scala compiler is rather bulky anyway;
Mon, May 25, 11:03 PM
makarius committed rISABELLEfeb37a43ace6: clarified signature;.
clarified signature;
Mon, May 25, 11:03 PM
makarius committed rISABELLEf7d15620dd8e: antiquotations for Scala entities;.
antiquotations for Scala entities;
Mon, May 25, 11:03 PM
blanchette committed rAFP5a77ba9e257f: more systematic self-citations.
more systematic self-citations
Mon, May 25, 9:43 AM
florian.haftmann committed rISABELLE4f4695757980: better closeup and more consistent terminology.
better closeup and more consistent terminology
Mon, May 25, 7:45 AM

Sun, May 24

makarius committed rISABELLE45f85e283ce0: merged.
merged
Sun, May 24, 9:54 PM
makarius committed rISABELLE2bf0283fc975: proper stack_limit;.
proper stack_limit;
Sun, May 24, 9:54 PM
makarius committed rISABELLE44ba78056790: clarified signature;.
clarified signature;
Sun, May 24, 9:54 PM
makarius committed rISABELLE71de0a253842: proper check of registered Scala functions;.
proper check of registered Scala functions;
Sun, May 24, 9:54 PM
makarius committed rISABELLEf92c7e2ba8da: more accurate classpath for "isabelle scala";.
more accurate classpath for "isabelle scala";
Sun, May 24, 9:54 PM
makarius committed rISABELLE0ca353521753: asynchronous build_session: notably for Scala.fulfill protocol commands during….
asynchronous build_session: notably for Scala.fulfill protocol commands during…
Sun, May 24, 9:54 PM
makarius committed rISABELLEfe7ee970c425: clarified build_session protocol;.
clarified build_session protocol;
Sun, May 24, 9:54 PM
makarius committed rISABELLE3cd8449829fa: clarified signature;.
clarified signature;
Sun, May 24, 9:54 PM
makarius committed rISABELLEaaa984499d36: tuned signature;.
tuned signature;
Sun, May 24, 9:54 PM