User Details
User Details
- User Since
- Sep 24 2019, 9:33 PM (174 w, 6 d)
- Roles
- Administrator
Today
Today
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…
Wed, Jan 25
Wed, Jan 25
tuned messages: less verbosity;
tuned message, following "isabelle components -a";
prefer Other_Isabelle.init instead of adhoc scripts;
makarius committed rISABELLE023273cf2651: clean components more accurately: purge other platforms or archives;.
clean components more accurately: purge other platforms or archives;
more operations for SSH.System;
clarified signature;
manage other Isabelle distributions via SSH;
more operations for SSH.System;
makarius committed rISABELLE15e710116a16: recovered option -C from 092449efcb0e (still required for isabelle_cronjob..
recovered option -C from 092449efcb0e (still required for isabelle_cronjob.
clarified parameters (again);
Tue, Jan 24
Tue, Jan 24
makarius committed rISABELLE6e2c6ccc5dc0: clarified defaults: imitate "isabelle components -I" without further parameters;.
clarified defaults: imitate "isabelle components -I" without further parameters;
makarius committed rISABELLE351eee493580: more robust locations (amending 7e11e96a922d) --- notably for cleanup() in….
more robust locations (amending 7e11e96a922d) --- notably for cleanup() in…
clarified defaults (see also b310b93563f6);
makarius committed rISABELLE7e11e96a922d: more formal Other_Isabelle.settings, with derived expand_path / bash_path;.
more formal Other_Isabelle.settings, with derived expand_path / bash_path;
makarius committed rISABELLE395a0701a125: clarified signature: minimal interface for getenv/expand_env, instead of bulky….
clarified signature: minimal interface for getenv/expand_env, instead of bulky…
makarius committed rISABELLE75ebc168731c: discontinued adhoc change of environment (from 897f1ac84aab), following ssh….
discontinued adhoc change of environment (from 897f1ac84aab), following ssh…
makarius committed rISABELLEc2e8ba15a10a: discontinued adhoc change of environment (from c62b99e3ec07), which has been….
discontinued adhoc change of environment (from c62b99e3ec07), which has been…
makarius committed rISABELLE973de7855948: removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);.
removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);
more robust and uniform Other_Isabelle.scala_build;
makarius committed rISABELLE7b65209fdfe8: more robust: self-contained Other_Isabelle.isabelle_home;.
more robust: self-contained Other_Isabelle.isabelle_home;
makarius committed rISABELLE348f4d95d110: more robust (see also 7f55a3e28c88): resolve components from current Isabelle….
more robust (see also 7f55a3e28c88): resolve components from current Isabelle…
proper ssh.bash_path;
Mon, Jan 23
Mon, Jan 23
makarius committed rISABELLE44f79689115d: more elementary command-line, following lib/Tools/components;.
more elementary command-line, following lib/Tools/components;
support remote operations;
clarified defaults;
more accurate options (amending 7e19dc018db9);
clarified defaults;
more modular shell script;
support remote download_file;
tuned: drop redundant "expand";
makarius committed rISABELLE86ace3c45837: more uniform options for "curl", following lib/Tools/components;.
more uniform options for "curl", following lib/Tools/components;
update to jdk-17.0.6;
avoid odd suffix in published HTML library;
Sun, Jan 22
Sun, Jan 22
tuned signature: avoid aliases;
clarified modules (again, in contrast to f8f065e20837);
support IPC via database server;
makarius committed rISABELLE164a21e5d568: support specific connection types, for additional operations;.
support specific connection types, for additional operations;
isabelle update -u cite;
makarius committed rAFP1e054c418790: more accurate root.bib, based on original \bibitem entries in root.tex….
more accurate root.bib, based on original \bibitem entries in root.tex…
Sat, Jan 21
Sat, Jan 21
makarius committed rAFP735f4be0a671: proper bib context for formal citations, although there is no document;.
proper bib context for formal citations, although there is no document;
back to unchecked \cite: entry lacks .bib file;
back to unchecked \cite: entry lacks .bib file;
back to unchecked \cite: there is entry lacks .bib file;
Fri, Jan 20
Fri, Jan 20
more correct and complete bibliography;
makarius committed rISABELLEe75e2f86a6d3: proper position for semantic completion: avoid duplicate quotes;.
proper position for semantic completion: avoid duplicate quotes;
clarified signature;
clarified signature;
makarius committed rISABELLEd7dc5b1e4381: proper positions for Isabelle/ML, instead of Isabelle/Scala;.
proper positions for Isabelle/ML, instead of Isabelle/Scala;
makarius committed rISABELLE1046a69fabaa: dismantle special treatment of citations in Isabelle/Scala;.
dismantle special treatment of citations in Isabelle/Scala;