Open Tasks
Open Tasks
Normal (6)
Normal (6)
- Nov 27 2021, 3:30 PM
Low (5)
Low (5)
Wishlist (4)
Wishlist (4)
Active Repositories
Active Repositories
- rWEBSITE isabelle-website
- Oct 25 2022, 9:27 PM2022-10-25 21:27:13 (UTC+2)
- Mercurial
Recent Activity
Recent Activity
Today
Today
paulson <lp15@cam.ac.uk> committed rISABELLEc8597292cd41: Moved in a large number of highly useful library lemmas, mostly due to Manuel….
Moved in a large number of highly useful library lemmas, mostly due to Manuel…
makarius committed rISABELLE79231a210f5d: observe option "show_states" in headless server (see also 951abf9db857);.
observe option "show_states" in headless server (see also 951abf9db857);
Yesterday
Yesterday
makarius committed rISABELLE515b6aaede32: enable clean_components by default: it saves a lot of local disk space, notably….
enable clean_components by default: it saves a lot of local disk space, notably…
Sat, Jan 28
Sat, Jan 28
makarius committed rISABELLE53ce5a39c987: more uniform components context for the managing "self_isabelle" and the….
more uniform components context for the managing "self_isabelle" and the…
makarius committed rISABELLE536c033fb6eb: removed somewhat pointless support for Jenkins log files: it has stopped….
removed somewhat pointless support for Jenkins log files: it has stopped…
obsolete (see also d547173212d2);
makarius committed rISABELLEf40c36ab154d: clarified names to emphasize suble differences in meaning;.
clarified names to emphasize suble differences in meaning;
unused (see 378bb7a739c3);
makarius committed rISABELLEa8f002720ebb: prefer high-level Other_Isabelle.bash over low-level SSH.execute;.
prefer high-level Other_Isabelle.bash over low-level SSH.execute;
more options to manage resolved components;
makarius committed rISABELLEbe90af1e3254: proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle….
proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle…
clarified signature: more explicit types;
clarified signature;
clarified signature: more robust field_scale;
clarified signature: more explicit types;
more explicit types;
support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
prefer typed/strict operations;
makarius committed rISABELLE595358b9f61d: prefer strict operation: java.io.File.length returns 0 for non-existent file;.
prefer strict operation: java.io.File.length returns 0 for non-existent file;
makarius committed rISABELLEe3a2b3536030: prefer typed bytes count, but retain toString of original Long for robustness….
prefer typed bytes count, but retain toString of original Long for robustness…
makarius committed rISABELLE4f68b165d69e: back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning….
back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning…
Fri, Jan 27
Fri, Jan 27
dropped reference to dead clone
removed dead clone
Tuned whitespace.
More correct references.
Updated references.