Afp 2009 2 Log


Commit Date  
[d374ec] (defaulttip) by kleing

fixed base image link in RIPEMD metadata

2011-01-19 11:32:11 Tree
[c0ebd3] by kleing

new RIPEMD abstract from Fabian

2011-01-19 11:25:50 Tree
[2b3dd4] by gerwin.klein@nicta.com.au

fixed submission date (2011, not 2010)

2011-01-18 05:02:41 Tree
[bc9def] by gerwin.klein@nicta.com.au

metadata and web pages for RIPEMD-160

2011-01-18 04:56:31 Tree
[17d2ec] by gerwin.klein@nicta.com.au

adjusted RIPEMD config and IsaMakefile

2011-01-18 04:49:29 Tree
[01a4e4] by gerwin.klein@nicta.com.au

RIPEMD-160-SPARK entry as submitted by Fabian Immler

2011-01-18 04:42:42 Tree
[d4bd85] by nipkow

undid test

2010-12-17 15:47:36 Tree
[f8280c] by nipkow

test, ignore

2010-12-17 15:43:22 Tree
[497488] by nipkow

test - ignore

2010-12-17 15:42:19 Tree
[5e17a1] by nipkow

fixed authors

2010-12-17 15:31:17 Tree
[bda171] by nipkow

New entry Marriage

2010-12-17 15:23:02 Tree
[5f6ab8] by kleing

properly report test status for new entries

2010-12-02 05:30:37 Tree
[21afe6] by gerwin.klein@nicta.com.au

deal with skipped entries in summary report

2010-12-01 03:47:02 Tree
[e5bd6a] by gerwin.klein@nicta.com.au

removed multiple releases per Isabelle version warning

2010-12-01 03:15:29 Tree
[1ec14c] by gerwin.klein@nicta.com.au

added generated license tags

2010-12-01 03:13:04 Tree
[2963e5] by gerwin.klein@nicta.com.au

Sitegen udpate by Lars Hupel: added support for licenses, better support for topics.

2010-12-01 03:10:13 Tree
[54c2c0] by nipkow

fixed wording

2010-11-18 08:11:22 Tree
[9847f7] by nipkow

reworded "logic HOLCF"

2010-11-18 08:02:35 Tree
[919851] by nipkow

fix

2010-11-17 15:43:04 Tree
[a14661] by nipkow

More Shivers-CFA

2010-11-17 15:36:22 Tree
[502ec8] by nipkow

merged

2010-11-17 12:52:50 Tree
[506ae1] by nipkow

new entry Shiver-CFA

2010-11-17 12:52:36 Tree
[d78b5c] by gerwin.klein@nicta.com.au

fixed é

2010-10-31 08:27:47 Tree
[3fae48] by nipkow

added citation

2010-10-28 13:25:39 Tree
[c48258] by nipkow

merged

2010-10-28 11:12:33 Tree
Older >

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks