Afp 2007 Log


Commit Date  
[1d29f0] (defaulttip) by gerwin.klein@nicta.com.au

close in-repos Isabelle2007 branch

2009-09-17 00:24:17 Tree
[6c74c6] (Isabelle2007) by lp15

new submission

2008-04-11 13:15:54 Tree
[34c2e0] by lp15

new submission

2008-04-11 11:59:20 Tree
[59c81d] by lp15

new submission

2008-04-11 11:50:53 Tree
[b5eebc] by lsf37

fix dependency to point to image

2008-03-07 12:41:23 Tree
[882208] by lsf37

build document and image at same time

2008-03-07 12:09:56 Tree
[ed54a5] by lsf37

add headers with license and maintainer info

2008-03-07 05:56:40 Tree
[404a0f] by lsf37

final (?) fix of the IsaMakefile

2008-03-07 05:47:17 Tree
[18e0cd] by lsf37

fixed makefile even more

2008-03-07 04:46:18 Tree
[7171b9] by lsf37

fxed makefile

2008-03-07 04:42:22 Tree
[f174c3] by lsf37

new BDD entry, factored out browser_info path in Example Submission

2008-03-07 04:39:46 Tree
[9aa710] by lsf37

new BDD entry

2008-03-07 04:29:42 Tree
[c6ac7b] by lsf37

add maintainer and mathpartir style

2008-03-07 03:19:45 Tree
[135305] by lsf37

new entry: Simpl

2008-03-07 03:11:27 Tree
[517dcc] by lsf37

afp template for isamakefile

2008-03-06 05:51:24 Tree
[1403ff] by lsf37

Submission by Norbert Schirmer

2008-03-06 05:45:29 Tree
[2d0dc4] by nipkow

fixed bibtex

2008-02-22 15:58:14 Tree
[3247ff] by nipkow

updated bibtex

2008-02-22 15:55:53 Tree
[b19511] by nipkow

*** empty log message ***

2008-02-18 17:45:10 Tree
[57815d] by nipkow

*** empty log message ***

2008-02-18 17:33:45 Tree
[e45d00] by lsf37

factor out browser info path

2008-02-12 21:14:26 Tree
[03099c] by lsf37

make Integration the same pattern as the rest in name=".."

2008-02-12 21:11:49 Tree
[985d4b] by lsf37

fixed link to tar.gz

2008-02-12 21:08:48 Tree
[796417] by nipkow

added ref

2008-01-24 15:52:35 Tree
[52d891] by nipkow

fixed url

2008-01-24 08:07:53 Tree
Older >

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

Sign up for the SourceForge newsletter:





No, thanks