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
dropped reference to dead clone
removed dead clone
Tuned whitespace.
More correct references.
Updated references.
Restored antiquotation.
tuned whitespace
paulson <lp15@cam.ac.uk> committed rAFP4a8fdff18559: Removed a bit of unnecessary material.
Removed a bit of unnecessary material
desharna committed rISABELLE9678b533119e: added lemma multpHO_plus_plus[simp].
added lemma multpHO_plus_plus[simp]
paulson <lp15@cam.ac.uk> committed rAFPaae6be28313a: Shortened several messy proofs.
Shortened several messy proofs
paulson <lp15@cam.ac.uk> committed rISABELLE11d844d21f5c: Shortened a messy proof.
Shortened a messy proof
Emin Karayel <me@eminkarayel.de> committed rAFP96745c92800c: Fix name clash in Frequency_Moments..
Fix name clash in Frequency_Moments.
Yesterday
Yesterday
paulson <lp15@cam.ac.uk> committed rAFP05f6b9de9589: Fixed a name clash.
Fixed a name clash
paulson <lp15@cam.ac.uk> committed rAFPbcac1193c45c: Moving more material to the distribution.
Moving more material to the distribution
paulson <lp15@cam.ac.uk> committed rAFPb16e744fb559: Moving some material to the main repository.
Moving some material to the main repository
paulson <lp15@cam.ac.uk> committed rISABELLE780161d4b55c: Moved in some material from the AFP entry Winding_number_eval.
Moved in some material from the AFP entry Winding_number_eval
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);
paulson <lp15@cam.ac.uk> committed rISABELLEb4f892d0625d: Some new material from the AFP.
Some new material from the AFP
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);