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

Close

Afp 2011 1 Log


Commit Date  
[ad02c9] by Gerwin Klein Gerwin Klein

added config file

2012-02-10 12:07:28 Tree
[75f749] by Gerwin Klein Gerwin Klein

metadata for the two new entries

2012-02-10 11:46:50 Tree
[77ce1b] by Gerwin Klein Gerwin Klein

adjust to Refine_Monadic path name; make Refine_Monadic an image

2012-02-10 11:24:59 Tree
[c84fbd] by Gerwin Klein Gerwin Klein

new submission: Dijkstra's Shortest Paths Algorithm by Benedikt Nordhoff and Peter Lammich

2012-02-10 11:07:29 Tree
[8cfd37] by Gerwin Klein Gerwin Klein

made Collections an image, build Refine_Monadic on that

2012-02-10 11:04:51 Tree
[19893b] by kleing

Monadic Refinement submission by Peter Lammich

2012-02-08 22:01:30 Tree
[eb957a] by nipkow

tuned

2012-02-06 15:35:09 Tree
[ab6b7e] by nipkow

tuned

2012-02-06 15:19:09 Tree
[44df8d] by nipkow

tuned

2012-02-06 15:05:26 Tree
[90114c] by nipkow

merged

2012-02-06 14:19:31 Tree
[128302] by nipkow

new entry Girth_Chromatic

2012-02-06 14:18:56 Tree
[89fddc] by kleing

fixed BDD base path

2012-02-02 00:52:02 Tree
[f74584] by nipkow

rearranged topics

2012-01-08 20:10:02 Tree
[81ac55] by nipkow

rearranged topics

2012-01-08 20:06:28 Tree
[5071b7] by gerwin.klein@nicta.com.au

and now the correct base entry for Markov_Models

2012-01-05 21:59:33 Tree
[5c43fa] by gerwin.klein@nicta.com.au

added base entry metadata for Markov_Model

2012-01-05 21:53:59 Tree
[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
Older >