Afp 2011 Log


Commit Date  
[7cfccc] by kleing

merged

2010-07-02 11:19:15 Tree
[096842] by kleing

Reverted change set 87c7840cd414 for devel version.

2010-07-02 11:19:01 Tree
[2e0e49] by kleing

merge from Isabelle2009-2 release version

2010-07-02 11:18:12 Tree
[1e3ce8] by kleing

merged

2010-07-02 11:16:53 Tree
[aff57f] by gerwin.klein@nicta.com.au

udpated meta data for JinjaThreads, base image is HOL-Word

2010-07-02 02:25:50 Tree
[70d3da] by kleing

date = submission date

2010-07-01 13:06:29 Tree
[b47e75] by kleing

do not wrap text entries -- destroys URLs.

2010-07-01 12:47:02 Tree
[7033db] by kleing

fixed link to topics.shtml

2010-07-01 12:33:37 Tree
[54907b] by kleing

older releases for non-generated entries

2010-07-01 11:58:58 Tree
[8e61a8] by kleing

ignore more generated files

2010-07-01 11:53:13 Tree
[8d59a4] by kleing

script to get release list from sourceforge web site

2010-07-01 11:42:28 Tree
[af3ba2] by kleing

synced releases file

2010-07-01 11:35:01 Tree
[84f588] by kleing

switched index.html to release version

2010-07-01 11:18:44 Tree
[bccfb9] by kleing

generated html for Free-Groups

2010-07-01 11:03:50 Tree
[9a73aa] by nipkow

Added Free-Groups

2010-06-30 15:21:13 Tree
[e1a2c2] by kleing

JinjaThreads base is a non-Isabelle-release image.

2010-06-29 23:16:57 Tree
[c7e2d1] by gerwin.klein@nicta.com.au

Fixed image path for non-release base image.

2010-06-29 03:49:28 Tree
[9c59c2] by kleing

updated version links

2010-06-29 00:08:24 Tree
[f9ab90] by kleing

merged

2010-06-28 23:57:43 Tree
[32f8ca] (HRBSlicing-changes) by kleing

closed branch

2010-06-28 23:57:26 Tree
[fd60a1] by kleing

merged

2010-06-28 23:56:52 Tree
[9e7722] (Isabelle2009) by kleing

closed branch

2010-06-28 23:55:49 Tree
[f30eb9] by kleing

added 2009-1 to older releases

2010-06-28 23:45:24 Tree
[323743] by kleing

added 2009-2 release to list

2010-06-28 23:44:26 Tree
[87327c] by kleing

re-added Example submission

2010-06-28 11:34:54 Tree
Older >