Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

Today

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
florian.haftmann committed rISABELLE4c4d40913900: Restored antiquotation..
Restored antiquotation.
Fri, Jan 27, 7:17 PM
florian.haftmann committed rISABELLE5ef443fa4a5d: tuned whitespace.
tuned whitespace
Fri, Jan 27, 7:16 PM
paulson <lp15@cam.ac.uk> committed rAFP4a8fdff18559: Removed a bit of unnecessary material.
Removed a bit of unnecessary material
Fri, Jan 27, 5:29 PM
desharna committed rISABELLEbbe33afcfe1e: merged.
merged
Fri, Jan 27, 4:52 PM
desharna committed rISABELLE9678b533119e: added lemma multpHO_plus_plus[simp].
added lemma multpHO_plus_plus[simp]
Fri, Jan 27, 4:52 PM
paulson committed rAFP041dc7547354: merged.
merged
Fri, Jan 27, 3:03 PM
paulson <lp15@cam.ac.uk> committed rAFPaae6be28313a: Shortened several messy proofs.
Shortened several messy proofs
Fri, Jan 27, 3:03 PM
paulson <lp15@cam.ac.uk> committed rISABELLE11d844d21f5c: Shortened a messy proof.
Shortened a messy proof
Fri, Jan 27, 2:57 PM
Emin Karayel <me@eminkarayel.de> committed rAFP96745c92800c: Fix name clash in Frequency_Moments..
Fix name clash in Frequency_Moments.
Fri, Jan 27, 1:02 AM

Yesterday

paulson <lp15@cam.ac.uk> committed rAFP05f6b9de9589: Fixed a name clash.
Fixed a name clash
Thu, Jan 26, 10:25 PM
paulson <lp15@cam.ac.uk> committed rAFPbcac1193c45c: Moving more material to the distribution.
Moving more material to the distribution
Thu, Jan 26, 3:03 PM
paulson <lp15@cam.ac.uk> committed rAFPb16e744fb559: Moving some material to the main repository.
Moving some material to the main repository
Thu, Jan 26, 3:03 PM
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
Thu, Jan 26, 3:01 PM

Wed, Jan 25

makarius committed rISABELLEe04536f7c5ea: merged.
merged
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE9f44559c00a9: tuned messages: less verbosity;.
tuned messages: less verbosity;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE9d6118cdc0fd: tuned message, following "isabelle components -a";.
tuned message, following "isabelle components -a";
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE378bb7a739c3: prefer Other_Isabelle.init instead of adhoc scripts;.
prefer Other_Isabelle.init instead of adhoc scripts;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE023273cf2651: clean components more accurately: purge other platforms or archives;.
clean components more accurately: purge other platforms or archives;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE940a6cb734fd: more operations for SSH.System;.
more operations for SSH.System;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE4c2aaf60c22c: clarified signature;.
clarified signature;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLEc07d10ac688d: manage other Isabelle distributions via SSH;.
manage other Isabelle distributions via SSH;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLEd44e2d1ca84f: tuned;.
tuned;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE4d9f3d1e1749: more operations for SSH.System;.
more operations for SSH.System;
Wed, Jan 25, 10:29 PM
makarius committed rISABELLE15e710116a16: recovered option -C from 092449efcb0e (still required for isabelle_cronjob..
recovered option -C from 092449efcb0e (still required for isabelle_cronjob.
Wed, Jan 25, 10:29 PM
makarius committed rISABELLEd3437203c1df: clarified parameters (again);.
clarified parameters (again);
Wed, Jan 25, 10:29 PM
paulson <lp15@cam.ac.uk> committed rISABELLEb4f892d0625d: Some new material from the AFP.
Some new material from the AFP
Wed, Jan 25, 2:37 PM

Tue, Jan 24

makarius committed rISABELLE6e2c6ccc5dc0: clarified defaults: imitate "isabelle components -I" without further parameters;.
clarified defaults: imitate "isabelle components -I" without further parameters;
Tue, Jan 24, 11:16 PM
makarius committed rISABELLE7770537f5ceb: tuned;.
tuned;
Tue, Jan 24, 11:16 PM
makarius committed rISABELLEbd5045cd6ca9: merged.
merged
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE351eee493580: more robust locations (amending 7e11e96a922d) --- notably for cleanup() in….
more robust locations (amending 7e11e96a922d) --- notably for cleanup() in…
Tue, Jan 24, 10:41 PM
makarius committed rISABELLEf9a858060836: tuned;.
tuned;
Tue, Jan 24, 10:41 PM
makarius committed rISABELLE092449efcb0e: clarified defaults (see also b310b93563f6);.
clarified defaults (see also b310b93563f6);
Tue, Jan 24, 10:41 PM