Open Tasks
Open Tasks
High (1)
High (1)
Normal (4)
Normal (4)
Low (5)
Low (5)
Wishlist (3)
Wishlist (3)
Active Repositories
Active Repositories
- rISABELLE Isabelle
- Sat, May 30, 1:48 PM
- Mercurial
Recent Activity
Recent Activity
Yesterday
Yesterday
florian.haftmann committed rISABELLE435cdc772110: specific atomization inert to later rule set modifications.
specific atomization inert to later rule set modifications
more precise scope of atomize
install simproc but deactivate by default
Wed, May 27
Wed, May 27
adapted to d25093536482;
clarified signature;
proper error positions;
more documentation on Isabelle/Scala;
more antiquotations;
makarius committed rISABELLE1529336eaedc: check bash functions against Isabelle settings environment;.
check bash functions against Isabelle settings environment;
breakable scala_name;
proper check of example;
discontinued pointless document antiquotation;
makarius committed rISABELLEce06d6456cc8: clarified signature --- fit within limit of 22 arguments;.
clarified signature --- fit within limit of 22 arguments;
Mon, May 25
Mon, May 25
more antiquotations;
check free-form Scala source;
clarified static_check: avoid accidental evaluation;
makarius committed rISABELLE8dbefe849666: omit pointless memoing: Scala compiler is rather bulky anyway;.
omit pointless memoing: Scala compiler is rather bulky anyway;
clarified signature;
antiquotations for Scala entities;
more systematic self-citations
better closeup and more consistent terminology
Sun, May 24
Sun, May 24
proper stack_limit;
clarified signature;
proper check of registered Scala functions;
more accurate classpath for "isabelle scala";
makarius committed rISABELLE0ca353521753: asynchronous build_session: notably for Scala.fulfill protocol commands during….
asynchronous build_session: notably for Scala.fulfill protocol commands during…