Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Afp 2009 1 Log


Commit Date  
[7b3df7] by kleing

add index to new entry checklist

2010-04-12 09:06:03 Tree
[c802cc] by kleing

moved InformationFlowSlicing to Security

2010-04-12 09:04:20 Tree
[bb878e] by gerwin.klein@nicta.com.au

made Download last nav entry again

2010-04-12 05:43:27 Tree
[6952ee] by gerwin.klein@nicta.com.au

link in index by topic

2010-04-12 05:41:06 Tree
[8e98d1] by gerwin.klein@nicta.com.au

more detailed name for "Ordinal"

2010-04-12 05:39:56 Tree
[bb9471] by gerwin.klein@nicta.com.au

some tuning

2010-04-12 05:34:53 Tree
[a9bc84] by gerwin.klein@nicta.com.au

renamed structured index to default

2010-04-12 05:16:08 Tree
[875635] by gerwin.klein@nicta.com.au

we decided to use the index with more structure

2010-04-12 05:15:45 Tree
[e92b99] by kleing

fixed typo

2010-04-11 05:48:58 Tree
[6993cd] by kleing

added InformationFlowSlicing and Free-Boolean-Algebra

2010-04-11 05:46:50 Tree
[c3f120] by kleing

even more compact, Security only one point

2010-04-11 05:41:14 Tree
[800de6] by gerwin.klein@nicta.com.au

more compact layout

2010-04-10 05:47:55 Tree
[192d7d] by kleing

added missing config files

2010-03-31 21:44:20 Tree
[3b437e] by kleing

fixed typo

2010-03-31 21:43:09 Tree
[2a04ed] by kleing

go back to at-poly, not at-poly-test

2010-03-30 08:23:23 Tree
[4ffe11] by kleing

test for HOL-Nominal as well; don't skip for other isatest failures.

2010-03-29 21:02:20 Tree
[426bd0] by nipkow

more html fix

2010-03-29 13:52:43 Tree
[17c8ea] by nipkow

fixed html

2010-03-29 13:48:35 Tree
[92814d] by nipkow

merged two entries

2010-03-29 13:41:48 Tree
[f1a4d8] by nipkow

new entry Free Boolean Algebra

2010-03-29 13:37:31 Tree
[17d3cb] by nipkow

new entry F.B.A.

2010-03-29 13:36:40 Tree
[ca794a] by nipkow

added Free-Boolean-Algebra

2010-03-29 13:28:51 Tree
[88fd0c] by kleing

skip test if HOL or HOLCF image is not present; be less nice.

2010-03-28 22:30:32 Tree
[64c33a] by kleing

fixed typo

2010-03-27 21:50:49 Tree
[931806] by kleing

report only version, not tag

2010-03-27 21:32:35 Tree
Older >