Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

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…
Mon, Jan 30, 4:25 PM
paulson committed rISABELLEda8a0e7bcac8: merged.
merged
Mon, Jan 30, 4:25 PM
makarius committed rISABELLE79231a210f5d: observe option "show_states" in headless server (see also 951abf9db857);.
observe option "show_states" in headless server (see also 951abf9db857);
Mon, Jan 30, 3:13 PM
nipkow committed rISABELLE5bf9a1b78f93: text correction.
text correction
Mon, Jan 30, 10:16 AM

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…
Sun, Jan 29, 4:50 PM

Sat, Jan 28

makarius committed rISABELLE523839d6d8ff: merged.
merged
Sat, Jan 28, 10:55 PM
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…
Sat, Jan 28, 10:55 PM
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…
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEc8d34e74a12b: tuned signature;.
tuned signature;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEc79da77d9e87: obsolete (see also d547173212d2);.
obsolete (see also d547173212d2);
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE2b8cf3b94cde: more operations;.
more operations;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEf40c36ab154d: clarified names to emphasize suble differences in meaning;.
clarified names to emphasize suble differences in meaning;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE973cd25af280: unused (see 378bb7a739c3);.
unused (see 378bb7a739c3);
Sat, Jan 28, 10:55 PM
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;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE158790217aa9: more options to manage resolved components;.
more options to manage resolved components;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEa2ae6baa8219: tuned comments;.
tuned comments;
Sat, Jan 28, 10:55 PM
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…
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE25a497bb7b0b: tuned;.
tuned;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEceee2a01322e: clarified signature: more explicit types;.
clarified signature: more explicit types;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE8c14be9beb58: more operations;.
more operations;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE34a6b8bd7abd: tuned;.
tuned;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE00d1db8e496e: clarified signature;.
clarified signature;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE97a425ecf96d: tuned;.
tuned;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEf07d6bcbefa8: clarified signature: more robust field_scale;.
clarified signature: more robust field_scale;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE9a22256b0a27: clarified signature: more explicit types;.
clarified signature: more explicit types;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEc301b97b4301: more explicit types;.
more explicit types;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE6608de52a3b5: support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;.
support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLE6f2ddbff972c: prefer typed/strict operations;.
prefer typed/strict operations;
Sat, Jan 28, 10:55 PM
makarius committed rISABELLEaa359010d264: tuned message;.
tuned message;
Sat, Jan 28, 10:55 PM
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;
Sat, Jan 28, 10:55 PM
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…
Sat, Jan 28, 10:55 PM
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…
Sat, Jan 28, 10:55 PM

Fri, Jan 27

florian.haftmann committed rAFP45600ccea74a: dropped reference to dead clone.
dropped reference to dead clone
Fri, Jan 27, 7:18 PM
florian.haftmann committed rAFPbcc172c19476: modernized.
modernized
Fri, Jan 27, 7:18 PM
florian.haftmann committed rAFP7be2c9c3f37c: removed dead clone.
removed dead clone
Fri, Jan 27, 7:18 PM
florian.haftmann committed rAFP897e5e348bf9: Modernized..
Modernized.
Fri, Jan 27, 7:17 PM
florian.haftmann committed rAFPc5fcab8016bf: More instances..
More instances.
Fri, Jan 27, 7:17 PM
florian.haftmann committed rAFP970e2a3dcdf1: Tuned whitespace..
Tuned whitespace.
Fri, Jan 27, 7:17 PM
florian.haftmann committed rAFPce0774eaa992: More correct references..
More correct references.
Fri, Jan 27, 7:17 PM
florian.haftmann committed rAFP72313706f65d: Updated references..
Updated references.
Fri, Jan 27, 7:17 PM