36 hours ago haftmann 2020-05-30 specific atomization inert to later rule set modifications default tip
36 hours ago haftmann 2020-05-30 more precise scope of atomize
39 hours ago haftmann 2020-05-30 install simproc but deactivate by default
4 days ago wenzelm 2020-05-27 adapted to d25093536482;
4 days ago wenzelm 2020-05-27 clarified markup;
4 days ago wenzelm 2020-05-27 clarified signature;
4 days ago wenzelm 2020-05-27 tuned signature;
4 days ago wenzelm 2020-05-27 tuned;
4 days ago wenzelm 2020-05-27 more NEWS;
4 days ago wenzelm 2020-05-27 more documentation on Isabelle/Scala;
4 days ago wenzelm 2020-05-27 proper error positions;
4 days ago wenzelm 2020-05-27 tuned;
4 days ago wenzelm 2020-05-27 tuned whitespace;
4 days ago wenzelm 2020-05-27 more antiquotations;
4 days ago wenzelm 2020-05-27 check bash functions against Isabelle settings environment;
4 days ago wenzelm 2020-05-27 misc tuning;
4 days ago wenzelm 2020-05-27 breakable scala_name;
5 days ago wenzelm 2020-05-26 tuned signature;
5 days ago wenzelm 2020-05-26 discontinued pointless document antiquotation;
5 days ago wenzelm 2020-05-26 proper check of example;
5 days ago wenzelm 2020-05-26 clarified signature --- fit within limit of 22 arguments;
5 days ago wenzelm 2020-05-26 tuned;
5 days ago wenzelm 2020-05-26 tuned;
6 days ago wenzelm 2020-05-25 more antiquotations;
6 days ago wenzelm 2020-05-25 obsolete;
6 days ago wenzelm 2020-05-25 check free-form Scala source;
6 days ago wenzelm 2020-05-25 clarified static_check: avoid accidental evaluation;
6 days ago wenzelm 2020-05-25 omit pointless memoing: Scala compiler is rather bulky anyway;
6 days ago wenzelm 2020-05-25 clarified signature;
6 days ago wenzelm 2020-05-25 antiquotations for Scala entities;
7 days ago haftmann 2020-05-24 better closeup and more consistent terminology
7 days ago wenzelm 2020-05-24 merged
7 days ago wenzelm 2020-05-24 proper stack_limit;
7 days ago wenzelm 2020-05-24 clarified signature;
7 days ago wenzelm 2020-05-24 more accurate classpath for "isabelle scala";
7 days ago wenzelm 2020-05-24 proper check of registered Scala functions;
7 days ago wenzelm 2020-05-24 asynchronous build_session: notably for Scala.fulfill protocol commands during run;
7 days ago wenzelm 2020-05-24 clarified build_session protocol;
7 days ago wenzelm 2020-05-24 clarified signature;
7 days ago wenzelm 2020-05-24 clarified name;
7 days ago wenzelm 2020-05-24 more robust: explicit check for PIDE session;
7 days ago wenzelm 2020-05-24 tuned signature;
7 days ago wenzelm 2020-05-24 unused;
8 days ago wenzelm 2020-05-23 tuned signature;
8 days ago wenzelm 2020-05-23 check Scala source snippets from ML;
8 days ago wenzelm 2020-05-23 more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment;
8 days ago wenzelm 2020-05-23 init default context;
8 days ago wenzelm 2020-05-23 tuned message;
8 days ago wenzelm 2020-05-23 clarified signature;
8 days ago wenzelm 2020-05-23 tuned;
8 days ago wenzelm 2020-05-23 more brackets (see 2e8af171887f);
8 days ago wenzelm 2020-05-23 tuned message;
9 days ago wenzelm 2020-05-22 clarified signature; more operations;
9 days ago wenzelm 2020-05-22 unused;
9 days ago wenzelm 2020-05-22 more robust, notably for "isabelle scala";
9 days ago wenzelm 2020-05-22 clarified signature;
7 days ago nipkow 2020-05-24 reorganised sorted_set_of_list
7 days ago nipkow 2020-05-24 merged
7 days ago nipkow 2020-05-24 simpler inductions
8 days ago paulson 2020-05-23 a few new lemmas about functions