helios_wp3

updated ontology

vvlasceanu — Tue, 01 Jun 2010 15:51:15 +0100

Rev 284 - vvlasceanu (1 file(s) modified)

updated ontology

new bug example

vvlasceanu — Fri, 28 May 2010 09:41:19 +0100

Rev 283 - vvlasceanu (1 file(s) modified)

new bug example

Published now on SF.net, so updating URLs

berger_o — Thu, 27 May 2010 22:23:37 +0100

Rev 282 - berger_o (3 file(s) modified)

Published now on SF.net, so updating URLs

Finalization

berger_o — Thu, 27 May 2010 22:04:00 +0100

Rev 281 - berger_o (1 file(s) modified)

Finalization

Remove reified axiom's comment that causes version problems for protege

berger_o — Thu, 27 May 2010 22:02:24 +0100

Rev 280 - berger_o (1 file(s) modified)

Remove reified axiom's comment that causes version problems for protege

Manual edits. Will load only with Protege 4.1beta it seems ...

berger_o — Thu, 27 May 2010 21:31:38 +0100

Rev 279 - berger_o (1 file(s) modified)

Manual edits. Will load only with Protege 4.1beta it seems :-/

Updated WRT 2010/03

berger_o — Thu, 27 May 2010 19:00:49 +0100

Rev 278 - berger_o (2 file(s) modified)

Updated WRT 2010/03

Fixing some bits to make it easier to compare to ...

berger_o — Thu, 27 May 2010 18:34:35 +0100

Rev 277 - berger_o (1 file(s) modified)

Fixing some bits to make it easier to compare to previous version

Take into account version 2010/03

berger_o — Thu, 27 May 2010 18:11:21 +0100

Rev 276 - berger_o (3 file(s) modified)

Take into account version 2010/03

Updates

berger_o — Thu, 27 May 2010 17:15:10 +0100

Rev 275 - berger_o (4 file(s) modified)

Updates

revised ontology

vvlasceanu — Thu, 27 May 2010 15:54:02 +0100

Rev 274 - vvlasceanu (1 file(s) modified)

revised ontology

Rebuilding with local image instead of remote one

berger_o — Thu, 27 May 2010 15:31:26 +0100

Rev 273 - berger_o (3 file(s) modified)

Rebuilding with local image instead of remote one

revised ontology

vvlasceanu — Thu, 27 May 2010 15:23:50 +0100

Rev 272 - vvlasceanu (1 file(s) modified)

revised ontology

Renaming the template file

berger_o — Thu, 27 May 2010 15:23:35 +0100

Rev 271 - berger_o (4 file(s) modified)

Renaming the template file

Small syntactic updates

berger_o — Thu, 27 May 2010 15:12:12 +0100

Rev 270 - berger_o (1 file(s) modified)

Small syntactic updates

* empty log message *

berger_o — Thu, 27 May 2010 15:04:44 +0100

Rev 269 - berger_o (1 file(s) modified)

*** empty log message ***

Rev 268

vvlasceanu — Wed, 19 May 2010 14:00:05 +0100

Rev 268 - vvlasceanu (1 file(s) modified)

Rev 267

vvlasceanu — Wed, 19 May 2010 13:59:02 +0100

Rev 267 - vvlasceanu (10 file(s) modified)

updated specs

vvlasceanu — Wed, 12 May 2010 16:46:34 +0100

Rev 266 - vvlasceanu (3 file(s) modified)

updated specs

Checkpoint with more docs and some more details on generation ...

berger_o — Tue, 11 May 2010 18:07:17 +0100

Rev 265 - berger_o (6 file(s) modified)

Checkpoint with more docs and some more details on generation of the docs