Afp 2011 Log


Commit Date  
[7ea318] by kleing

overwrite old status page, don't append to it

2011-04-03 23:14:23 Tree
[06bc35] by kleing

add link to status page in test emails

2011-04-03 04:43:39 Tree
[ca884a] by kleing

generate status overview page in regression test

2011-04-03 04:37:08 Tree
[da4f74] by kleing

regenerated web page (fixed typos)

2011-03-31 22:00:52 Tree
[f8c315] by kleing

General Triangle submission by Joachim Breitner

2011-03-31 21:50:06 Tree
[d8de13] by kleing

generate an "all" target

2011-03-27 04:03:10 Tree
[5998aa] by kleing

regenerated web

2011-03-26 11:31:27 Tree
[5f6513] by kleing

add AFP version to generated pages

2011-03-26 11:31:04 Tree
[457f83] by kleing

regenerated web pages

2011-03-26 11:22:53 Tree
[428b2d] by kleing

leave out empty depends-on entries on web

2011-03-26 11:22:24 Tree
[7f0b91] by kleing

add depends-on meta data

(patch by Lars)

2011-03-26 11:22:19 Tree
[fe7869] by kleing

Add support for dependency metadata

(Patch by Lars)

2011-03-26 11:22:15 Tree
[e8a2cc] by kleing

Fix source documentation in sitegen.py

(Patch by Lars)

2011-03-26 11:21:42 Tree
[c68073] by kleing

fixed ISABELLE_IMAGE_PATH

2011-03-23 21:40:33 Tree
[f474eb] by kleing

do heap cleaning properly, fixed fail function

2011-03-23 11:01:39 Tree
[5c00da] by kleing

clean out heaps before building new root images

2011-03-19 09:44:14 Tree
[de8af8] by nipkow

fixed license

2011-03-14 21:31:04 Tree
[ee60f9] by nipkow

fixed license

2011-03-14 21:29:35 Tree
[6f92de] by nipkow

New Entry Transitive-Closure

2011-03-14 21:18:22 Tree
[6ad2e7] by kleing

move web snapshot generation into own file

2011-03-04 10:24:46 Tree
[39472b] by kleing

more colour

2011-03-03 09:58:35 Tree
[4b52e6] by kleing

merged

2011-03-03 05:06:57 Tree
[27e822] by kleing

prepare separate isabelle snapshot for AFP test

2011-03-03 05:04:13 Tree
[46ff91] by kleing

fixed Rok's name

2011-03-01 23:11:21 Tree
[203bdb] by kleing

meta data and web pages for LightweightJava

2011-03-01 23:01:51 Tree
Older >

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

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks