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

Close

Afp 2008 Log


Commit Date  
[653eb8] (defaulttip) by gerwin.klein@nicta.com.au

close in-repos Isabelle2008 branch

2009-09-17 00:23:37 Tree
[7c500b] (Isabelle2008) by lsf37

removed unneccessary comma

2009-02-10 20:33:31 Tree
[760bf1] by nipkow

html fixed

2008-12-22 15:24:52 Tree
[eb2dfa] by nipkow

new entry

2008-12-22 15:15:07 Tree
[b0f372] by nipkow

*** empty log message ***

2008-12-22 15:12:59 Tree
[38ef5c] by nipkow

*** empty log message ***

2008-12-22 15:04:41 Tree
[21cf97] by lsf37

ignore completely empty directories (since CVS can't remove them)

2008-12-16 07:27:18 Tree
[a1a41b] by nipkow

added SenSocialChoice

2008-11-17 13:41:27 Tree
[7d980d] by nipkow

*** empty log message ***

2008-11-17 13:31:22 Tree
[345849] by nipkow

*** empty log message ***

2008-11-13 09:14:31 Tree
[a00ff5] by nipkow

update

2008-11-13 08:15:45 Tree
[07ff58] by nipkow

update

2008-11-13 07:19:41 Tree
[744338] by nipkow

update

2008-11-13 06:55:00 Tree
[1c256b] by lsf37

use right isatool for getenv

2008-11-12 20:43:25 Tree
[4101d5] by nipkow

Hopefully changed back - had accidentally changed it.

2008-11-12 19:13:31 Tree
[4d8845] by nipkow

SIFPL

2008-11-12 16:06:58 Tree
[a5bc53] by nipkow

added SIFPL

2008-11-12 16:06:08 Tree
[ae4e0d] by nipkow

*** empty log message ***

2008-11-12 15:54:26 Tree
[87e869] by lsf37

fixed link to CVS browsing

2008-10-28 22:10:19 Tree
[dcbfb1] by lsf37

keep link to previous version

2008-10-21 03:04:26 Tree
[f049cb] by lsf37

Moved to standard AFP IsaMakefile format
fixed paths
put generated documents in expected browser_info place

2008-10-21 01:24:12 Tree
[be322c] by lsf37

removed backup file

2008-10-21 01:08:45 Tree
[747b82] by lsf37

added config file for entry

2008-10-21 00:51:07 Tree
[d10f0a] by nipkow

new

2008-10-15 16:55:10 Tree
[71a234] by nipkow

new Huffman

2008-10-15 16:54:25 Tree
Older >