Active Repositories
Active Repositories
- rISABELLE Isabelle
- Mon, Mar 1, 3:09 PM2021-03-01 15:09:57 (UTC+1)
- Mercurial
- rPOLYML Poly/ML
- Mon, Feb 22, 4:23 PM2021-02-22 16:23:18 (UTC+1)
- Git
- rWEBSITE isabelle-website
- Sat, Feb 20, 9:18 PM2021-02-20 21:18:29 (UTC+1)
- Mercurial
Recent Activity
Recent Activity
Today
Today
paulson <lp15@cam.ac.uk> committed rAFPde7a40fb511d: tidied up messy proofs.
tidied up messy proofs
makarius committed rISABELLEd045cdbdf243: proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);.
proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);
dissolve theory with duplicated name from afp
florian.haftmann committed rAFPa41a4c9f031d: more connections between mset _ = mset _ and permutations.
more connections between mset _ = mset _ and permutations
lemma diffusion
florian.haftmann committed rISABELLEfd32f08f4fb5: more connections between mset _ = mset _ and permutations.
more connections between mset _ = mset _ and permutations
dissolve theory with duplicated name from afp
Yesterday
Yesterday
makarius committed rISABELLEa89f56ab2686: more robust (amending 87403fde8cc3): notably allow symlink to existing….
more robust (amending 87403fde8cc3): notably allow symlink to existing…
Sat, Feb 27
Sat, Feb 27
more Isabelle/ML/Scala operations;
more Isabelle/ML/Scala operations;
proper src1, amending 20157c8ab3f3;
more Isabelle/ML/Scala operations;
proper File.eq, amending df49ca5da9d0;
clarified modules: more like ML;
makarius committed rISABELLE8ae2f8ebc373: discontinued somewhat pointless "integrity test of build_history": it fails….
discontinued somewhat pointless "integrity test of build_history": it fails…
makarius committed rISABELLE87403fde8cc3: more direct make_directory in ML and Scala, but ssh still requires perl for….
more direct make_directory in ML and Scala, but ssh still requires perl for…
clarified comments;
clarified message;
Fri, Feb 26
Fri, Feb 26
nipkow committed rISABELLEc8e317a4c905: improved list_neq simproc.
improved list_neq simproc
revert accidental change
fix typo (Bauer -> Bayer)
add Windows example to use-instructions
paulson <lp15@cam.ac.uk> committed rAFPcb1f24a06749: Formal_Puiseux_Series website.
Formal_Puiseux_Series website
Isabelle app layout changed on Mac
paulson <lp15@cam.ac.uk> committed rAFP74a42283f683: new entry Formal_Puiseux_Series.
new entry Formal_Puiseux_Series
update with 2021 release .tar.gz's