[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-12-21 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-12-12 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-11-16 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-11-14 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-10-19 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-10-05 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-09-21 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-09-09 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-08-17 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-08-03 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-07-21 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-06-22 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-06-08 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-05-10 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-04-14 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-03-30 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-03-11 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-02-23 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-02-01 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-01-19 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2009-01-05 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2008-12-22 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: r...@openpkg.org Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2008-12-08 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: [EMAIL PROTECTED] Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2008-11-17 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: [EMAIL PROTECTED] Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2008-11-03 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: [EMAIL PROTECTED] Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2008-10-19 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: [EMAIL PROTECTED] Module: openpkg-src

[CVS] OpenPKG: openpkg-src/seed7/ seed7.spec

2008-10-06 Thread Ralf S. Engelschall
OpenPKG CVS Repository http://cvs.openpkg.org/ Server: cvs.openpkg.org Name: Ralf S. Engelschall Root: /v/openpkg/cvs Email: [EMAIL PROTECTED] Module: openpkg-src