Afp 2011 1 Log


Commit Date  
[312348] by gerwin.klein@nicta.com.au

updated docs, added Probability Theory as topic.

2012-01-05 21:46:37 Tree
[97b7a7] by nipkow

tuned

2012-01-05 18:29:23 Tree
[f1a060] by nipkow

new entry

2012-01-05 18:25:35 Tree
[68b060] by kleing

regenerated web site

2011-11-28 21:45:21 Tree
[6dc3ac] by kleing

fixed base image path for HOLCF entries (HOLCF -> HOL/HOLCF)

2011-11-28 21:40:31 Tree
[96d7c4] by nipkow

tuned html

2011-11-27 20:00:14 Tree
[a1961a] by nipkow

fixed typo

2011-11-27 19:53:37 Tree
[317971] by nipkow

New entry TLA

2011-11-27 19:43:18 Tree
[1ad7f8] by nipkow

new entry

2011-11-10 08:38:31 Tree
[ece3a1] by kleing

added explanation for [extra-history]

2011-10-12 21:06:58 Tree
[78dd94] by kleing

fixed change history layout

2011-10-12 20:56:29 Tree
[78072b] by kleing

updated info flow slicing entry manually for Isabelle2011 release link

2011-10-12 03:33:45 Tree
[766d9c] by kleing

regenerated web pages for links to 2011 releases

2011-10-12 03:29:52 Tree
[dd63d1] by kleing

updated releases for Collections update

2011-10-12 03:28:44 Tree
[ee7578] by kleing

slip Collections update into 2011-1 release

2011-10-11 22:21:11 Tree
[4b1545] by lammich lammich

merged

2011-10-10 13:59:50 Tree
[8729b3] by lammich lammich

Collections: Maintenance change and added some new operations. See metadata for details.

2011-10-10 13:53:26 Tree
[d31f0a] by kleing

merged from release branch

2011-10-10 09:49:09 Tree
[0e48fb] by kleing

Added tag Isabelle2011-1 for changeset 5dd878a5f54a

2011-10-10 09:46:58 Tree
[c8f2cd] by kleing

include 2011-1 release dates

2011-10-11 22:14:49 Tree
[c37515] by kleing

merged

2011-10-10 09:53:40 Tree
[5aed88] by kleing

2011-1 version update

2011-10-10 09:53:08 Tree
[d82a8d] by kleing

switch archive to 2011-1

2011-10-10 09:46:07 Tree
[5dd878] (Isabelle2011-1) by Ren? Thiemann Ren? Thiemann

added trivial lemma about monotonicity of ^^

2011-10-10 08:25:30 Tree
[672264] by griff

dropped function "zip_option" and corresponding lemmas (since it is not used inside our AFP entries; it was moved to the IsaFoR repository, changeset: bc2aa21a812d

2011-10-05 09:52:00 Tree
Older >