[service-technology.org] r4828 - in /trunk/meta: hello/ hello/doc/ hello/libs/ hello/libs/pnapi/ hello/maintainer/ hello/maintainer/debian/ hello/maintainer/macports/ hello/man/ hello/src/ hello/tests/ hello/tests/lcov/ hello/tests/testfiles/ hello/utils/ nets/challenge/mastermind/

Niels Lohmann Wed, 14 Oct 2009 02:30:43 -0700

Author: niels
Date: Wed Oct 14 11:30:36 2009
New Revision: 4828

URL: http://svn.gna.org/viewcvs/service-tech?rev=4828&view=rev
Log:
------------------------------------------------------------------------
r18 | cas | 2009-10-11 17:51:58 +0200 (So, 11 Okt 2009) | 1 line
Changed paths:
   A /trunk/meta/hello
   A /trunk/meta/hello/AUTHORS
   A /trunk/meta/hello/COPYING
   A /trunk/meta/hello/ChangeLog
   A /trunk/meta/hello/Makefile.am
   A /trunk/meta/hello/NEWS
   A /trunk/meta/hello/README
   A /trunk/meta/hello/REQUIREMENTS
   A /trunk/meta/hello/THANKS
   A /trunk/meta/hello/THEORY
   A /trunk/meta/hello/configure.ac
   A /trunk/meta/hello/doc
   A /trunk/meta/hello/doc/ChangeLog.texi
   A /trunk/meta/hello/doc/Doxyfile.in
   A /trunk/meta/hello/doc/Makefile.am
   A /trunk/meta/hello/doc/fdl.texi
   A /trunk/meta/hello/doc/wendy.texi
   A /trunk/meta/hello/libs
   A /trunk/meta/hello/libs/pnapi
   A /trunk/meta/hello/libs/pnapi/Makefile.am
   A /trunk/meta/hello/libs/pnapi/Output.cc
   A /trunk/meta/hello/libs/pnapi/Output.h
   A /trunk/meta/hello/libs/pnapi/automaton.cc
   A /trunk/meta/hello/libs/pnapi/automaton.h
   A /trunk/meta/hello/libs/pnapi/component.cc
   A /trunk/meta/hello/libs/pnapi/component.h
   A /trunk/meta/hello/libs/pnapi/condition.cc
   A /trunk/meta/hello/libs/pnapi/condition.h
   A /trunk/meta/hello/libs/pnapi/errorhandling.cc
   A /trunk/meta/hello/libs/pnapi/formula.cc
   A /trunk/meta/hello/libs/pnapi/formula.h
   A /trunk/meta/hello/libs/pnapi/io-format.cc
   A /trunk/meta/hello/libs/pnapi/link.cc
   A /trunk/meta/hello/libs/pnapi/link.h
   A /trunk/meta/hello/libs/pnapi/marking.cc
   A /trunk/meta/hello/libs/pnapi/marking.h
   A /trunk/meta/hello/libs/pnapi/myio.cc
   A /trunk/meta/hello/libs/pnapi/myio.h
   A /trunk/meta/hello/libs/pnapi/parser-lola-lexer.ll
   A /trunk/meta/hello/libs/pnapi/parser-lola.yy
   A /trunk/meta/hello/libs/pnapi/parser-onwd-lexer.ll
   A /trunk/meta/hello/libs/pnapi/parser-onwd.yy
   A /trunk/meta/hello/libs/pnapi/parser-owfn-lexer.ll
   A /trunk/meta/hello/libs/pnapi/parser-owfn.yy
   A /trunk/meta/hello/libs/pnapi/parser-petrify-lexer.ll
   A /trunk/meta/hello/libs/pnapi/parser-petrify.yy
   A /trunk/meta/hello/libs/pnapi/parser-sa-lexer.ll
   A /trunk/meta/hello/libs/pnapi/parser-sa.yy
   A /trunk/meta/hello/libs/pnapi/parser.cc
   A /trunk/meta/hello/libs/pnapi/parser.h
   A /trunk/meta/hello/libs/pnapi/petrinet-petrify.cc
   A /trunk/meta/hello/libs/pnapi/petrinet-petrify.h
   A /trunk/meta/hello/libs/pnapi/petrinet-reduction.cc
   A /trunk/meta/hello/libs/pnapi/petrinet.cc
   A /trunk/meta/hello/libs/pnapi/petrinet.h
   A /trunk/meta/hello/libs/pnapi/pnapi.h
   A /trunk/meta/hello/libs/pnapi/state.cc
   A /trunk/meta/hello/libs/pnapi/state.h
   A /trunk/meta/hello/libs/pnapi/util.cc
   A /trunk/meta/hello/libs/pnapi/util.h
   A /trunk/meta/hello/maintainer
   A /trunk/meta/hello/maintainer/Makefile.am
   A /trunk/meta/hello/maintainer/debian
   A /trunk/meta/hello/maintainer/debian/changelog.template.in
   A /trunk/meta/hello/maintainer/debian/compat
   A /trunk/meta/hello/maintainer/debian/control
   A /trunk/meta/hello/maintainer/debian/copyright
   A /trunk/meta/hello/maintainer/debian/dirs
   A /trunk/meta/hello/maintainer/debian/docs
   A /trunk/meta/hello/maintainer/debian/info.in
   A /trunk/meta/hello/maintainer/debian/rules.in
   A /trunk/meta/hello/maintainer/macports
   A /trunk/meta/hello/maintainer/macports/Portfile.in
   A /trunk/meta/hello/man
   A /trunk/meta/hello/man/Makefile.am
   A /trunk/meta/hello/man/extra
   A /trunk/meta/hello/src
   A /trunk/meta/hello/src/Makefile.am
   A /trunk/meta/hello/src/Output.cc
   A /trunk/meta/hello/src/Output.h
   A /trunk/meta/hello/src/cmdline.ggo
   A /trunk/meta/hello/src/hello.conf.in
   A /trunk/meta/hello/src/main.cc
   A /trunk/meta/hello/src/verbose.cc
   A /trunk/meta/hello/src/verbose.h
   A /trunk/meta/hello/tests
   A /trunk/meta/hello/tests/Makefile.am
   A /trunk/meta/hello/tests/cover.sh.in
   A /trunk/meta/hello/tests/lcov
   A /trunk/meta/hello/tests/lcov/README
   A /trunk/meta/hello/tests/lcov/gendesc
   A /trunk/meta/hello/tests/lcov/genhtml
   A /trunk/meta/hello/tests/lcov/geninfo
   A /trunk/meta/hello/tests/lcov/genpng
   A /trunk/meta/hello/tests/lcov/lcov
   A /trunk/meta/hello/tests/package.m4.in
   A /trunk/meta/hello/tests/testfiles
   A /trunk/meta/hello/tests/testfiles/myCoffee.owfn
   A /trunk/meta/hello/tests/testfiles/uncontrollable.owfn
   A /trunk/meta/hello/tests/testfiles/unnormal.owfn
   A /trunk/meta/hello/tests/testsuite.at
   A /trunk/meta/hello/tests/versions.sh
   A /trunk/meta/hello/tests/wrap.sh


Hello, World!
------------------------------------------------------------------------
r26 | simon | 2009-10-11 22:45:38 +0200 (So, 11 Okt 2009) | 1 line
Changed paths:
   M /trunk/meta/hello/AUTHORS
   M /trunk/meta/hello/src/Makefile.am
   M /trunk/meta/hello/src/cmdline.ggo
   M /trunk/meta/hello/src/hello.conf.in
   M /trunk/meta/hello/tests/testsuite.at

- made comments for gengetopt stuff
------------------------------------------------------------------------
r28 | simon | 2009-10-11 23:01:56 +0200 (So, 11 Okt 2009) | 1 line
Changed paths:
   M /trunk/meta/hello/src/main.cc

- give verbose mode to wendy, too
------------------------------------------------------------------------
r42 | simon | 2009-10-12 11:07:26 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
   M /trunk/meta/hello/src/Makefile.am
   M /trunk/meta/hello/src/main.cc
   A /trunk/meta/hello/src/wendy_lexic.ll
   A /trunk/meta/hello/src/wendy_syntax.yy
   M /trunk/meta/hello/tests/testsuite.at


------------------------------------------------------------------------
r47 | simon | 2009-10-12 13:59:31 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
   M /trunk/meta/hello/AUTHORS
   M /trunk/meta/hello/ChangeLog
   M /trunk/meta/hello/NEWS
   M /trunk/meta/hello/README
   M /trunk/meta/hello/REQUIREMENTS
   M /trunk/meta/hello/THANKS
   M /trunk/meta/hello/THEORY
   M /trunk/meta/hello/doc/Makefile.am
   A /trunk/meta/hello/doc/hello.texi (from /trunk/meta/hello/doc/wendy.texi:41)
   D /trunk/meta/hello/doc/wendy.texi
   M /trunk/meta/hello/man/extra
   M /trunk/meta/hello/src/main.cc


------------------------------------------------------------------------
r51 | simon | 2009-10-12 14:40:18 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
   M /trunk/meta/hello/ChangeLog
   M /trunk/meta/hello/NEWS
   M /trunk/meta/hello/REQUIREMENTS
   M /trunk/meta/hello/THEORY
   M /trunk/meta/hello/doc/ChangeLog.texi
   M /trunk/meta/hello/doc/hello.texi
   M /trunk/meta/hello/tests/Makefile.am


------------------------------------------------------------------------
r52 | simon | 2009-10-12 14:51:15 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
   M /trunk/meta/hello/REQUIREMENTS


------------------------------------------------------------------------
r53 | simon | 2009-10-12 14:54:40 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
   M /trunk/meta/hello/doc/ChangeLog.texi


------------------------------------------------------------------------
r54 | simon | 2009-10-12 15:04:27 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
   M /trunk/meta/hello/ChangeLog
   M /trunk/meta/hello/NEWS
   M /trunk/meta/hello/src/main.cc


------------------------------------------------------------------------
r55 | simon | 2009-10-12 15:21:36 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
   M /trunk/meta/hello/src/Output.cc
   M /trunk/meta/hello/src/Output.h
   M /trunk/meta/hello/src/cmdline.ggo
   M /trunk/meta/hello/src/main.cc
   M /trunk/meta/hello/src/verbose.cc
   M /trunk/meta/hello/src/verbose.h


------------------------------------------------------------------------
r70 | simon | 2009-10-12 20:17:18 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
   M /trunk/meta/hello/ChangeLog
   M /trunk/meta/hello/NEWS
   M /trunk/meta/hello/THEORY
   M /trunk/meta/hello/doc/ChangeLog.texi
   M /trunk/meta/hello/doc/hello.texi
   M /trunk/meta/hello/maintainer/Makefile.am
   M /trunk/meta/hello/man/extra


------------------------------------------------------------------------
r74 | simon | 2009-10-12 22:11:39 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
   M /trunk/meta/hello/README


------------------------------------------------------------------------
r75 | simon | 2009-10-12 22:35:33 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
   A /trunk/meta/hello/utils
   A /trunk/meta/hello/utils/changeName.sh


------------------------------------------------------------------------
r78 | simon | 2009-10-12 23:22:49 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
   M /trunk/meta/hello/utils/changeName.sh


------------------------------------------------------------------------
r79 | niels | 2009-10-12 23:41:06 +0200 (Mo, 12 Okt 2009) | 3 lines
Changed paths:
   A /trunk/meta/nets/challenge/mastermind
   A /trunk/meta/nets/challenge/mastermind/mastermind.lola
   A /trunk/meta/nets/challenge/mastermind/mastermind.owfn

Mastermind..


------------------------------------------------------------------------
r80 | niels | 2009-10-12 23:51:22 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
   A /trunk/meta/nets/challenge/mastermind/mastermind.llnet
   M /trunk/meta/nets/challenge/mastermind/mastermind.lola
   M /trunk/meta/nets/challenge/mastermind/mastermind.owfn


------------------------------------------------------------------------
r81 | niels | 2009-10-13 00:27:22 +0200 (Di, 13 Okt 2009) | 3 lines
Changed paths:
   M /trunk/meta/nets/challenge/mastermind/mastermind.llnet
   M /trunk/meta/nets/challenge/mastermind/mastermind.lola
   M /trunk/meta/nets/challenge/mastermind/mastermind.owfn

Fixed nets.




Added:
    trunk/meta/hello/
    trunk/meta/hello/AUTHORS
    trunk/meta/hello/COPYING
    trunk/meta/hello/ChangeLog
    trunk/meta/hello/Makefile.am
    trunk/meta/hello/NEWS
    trunk/meta/hello/README
    trunk/meta/hello/REQUIREMENTS
    trunk/meta/hello/THANKS
    trunk/meta/hello/THEORY
    trunk/meta/hello/configure.ac
    trunk/meta/hello/doc/
    trunk/meta/hello/doc/ChangeLog.texi
    trunk/meta/hello/doc/Doxyfile.in
    trunk/meta/hello/doc/Makefile.am
    trunk/meta/hello/doc/fdl.texi
    trunk/meta/hello/doc/hello.texi
    trunk/meta/hello/libs/
    trunk/meta/hello/libs/pnapi/
    trunk/meta/hello/libs/pnapi/Makefile.am
    trunk/meta/hello/libs/pnapi/Output.cc
    trunk/meta/hello/libs/pnapi/Output.h
    trunk/meta/hello/libs/pnapi/automaton.cc
    trunk/meta/hello/libs/pnapi/automaton.h
    trunk/meta/hello/libs/pnapi/component.cc
    trunk/meta/hello/libs/pnapi/component.h
    trunk/meta/hello/libs/pnapi/condition.cc
    trunk/meta/hello/libs/pnapi/condition.h
    trunk/meta/hello/libs/pnapi/errorhandling.cc
    trunk/meta/hello/libs/pnapi/formula.cc
    trunk/meta/hello/libs/pnapi/formula.h
    trunk/meta/hello/libs/pnapi/io-format.cc
    trunk/meta/hello/libs/pnapi/link.cc
    trunk/meta/hello/libs/pnapi/link.h
    trunk/meta/hello/libs/pnapi/marking.cc
    trunk/meta/hello/libs/pnapi/marking.h
    trunk/meta/hello/libs/pnapi/myio.cc
    trunk/meta/hello/libs/pnapi/myio.h
    trunk/meta/hello/libs/pnapi/parser-lola-lexer.ll
    trunk/meta/hello/libs/pnapi/parser-lola.yy
    trunk/meta/hello/libs/pnapi/parser-onwd-lexer.ll
    trunk/meta/hello/libs/pnapi/parser-onwd.yy
    trunk/meta/hello/libs/pnapi/parser-owfn-lexer.ll
    trunk/meta/hello/libs/pnapi/parser-owfn.yy
    trunk/meta/hello/libs/pnapi/parser-petrify-lexer.ll
    trunk/meta/hello/libs/pnapi/parser-petrify.yy
    trunk/meta/hello/libs/pnapi/parser-sa-lexer.ll
    trunk/meta/hello/libs/pnapi/parser-sa.yy
    trunk/meta/hello/libs/pnapi/parser.cc
    trunk/meta/hello/libs/pnapi/parser.h
    trunk/meta/hello/libs/pnapi/petrinet-petrify.cc
    trunk/meta/hello/libs/pnapi/petrinet-petrify.h
    trunk/meta/hello/libs/pnapi/petrinet-reduction.cc
    trunk/meta/hello/libs/pnapi/petrinet.cc
    trunk/meta/hello/libs/pnapi/petrinet.h
    trunk/meta/hello/libs/pnapi/pnapi.h
    trunk/meta/hello/libs/pnapi/state.cc
    trunk/meta/hello/libs/pnapi/state.h
    trunk/meta/hello/libs/pnapi/util.cc
    trunk/meta/hello/libs/pnapi/util.h
    trunk/meta/hello/maintainer/
    trunk/meta/hello/maintainer/Makefile.am
    trunk/meta/hello/maintainer/debian/
    trunk/meta/hello/maintainer/debian/changelog.template.in
    trunk/meta/hello/maintainer/debian/compat
    trunk/meta/hello/maintainer/debian/control
    trunk/meta/hello/maintainer/debian/copyright
    trunk/meta/hello/maintainer/debian/dirs
    trunk/meta/hello/maintainer/debian/docs
    trunk/meta/hello/maintainer/debian/info.in
    trunk/meta/hello/maintainer/debian/rules.in
    trunk/meta/hello/maintainer/macports/
    trunk/meta/hello/maintainer/macports/Portfile.in
    trunk/meta/hello/man/
    trunk/meta/hello/man/Makefile.am
    trunk/meta/hello/man/extra
    trunk/meta/hello/src/
    trunk/meta/hello/src/Makefile.am
    trunk/meta/hello/src/Output.cc
    trunk/meta/hello/src/Output.h
    trunk/meta/hello/src/cmdline.ggo
    trunk/meta/hello/src/hello.conf.in
    trunk/meta/hello/src/main.cc
    trunk/meta/hello/src/verbose.cc
    trunk/meta/hello/src/verbose.h
    trunk/meta/hello/src/wendy_lexic.ll
    trunk/meta/hello/src/wendy_syntax.yy
    trunk/meta/hello/tests/
    trunk/meta/hello/tests/Makefile.am
    trunk/meta/hello/tests/cover.sh.in
    trunk/meta/hello/tests/lcov/
    trunk/meta/hello/tests/lcov/README
    trunk/meta/hello/tests/lcov/gendesc
    trunk/meta/hello/tests/lcov/genhtml
    trunk/meta/hello/tests/lcov/geninfo
    trunk/meta/hello/tests/lcov/genpng
    trunk/meta/hello/tests/lcov/lcov
    trunk/meta/hello/tests/package.m4.in
    trunk/meta/hello/tests/testfiles/
    trunk/meta/hello/tests/testfiles/myCoffee.owfn
    trunk/meta/hello/tests/testfiles/uncontrollable.owfn
    trunk/meta/hello/tests/testfiles/unnormal.owfn
    trunk/meta/hello/tests/testsuite.at
    trunk/meta/hello/tests/versions.sh
    trunk/meta/hello/tests/wrap.sh
    trunk/meta/hello/utils/
    trunk/meta/hello/utils/changeName.sh
    trunk/meta/nets/challenge/mastermind/
    trunk/meta/nets/challenge/mastermind/mastermind.llnet
    trunk/meta/nets/challenge/mastermind/mastermind.lola
    trunk/meta/nets/challenge/mastermind/mastermind.owfn


-- 
You received this e-mail, because you subscribed the mailing list 
"service-tech-commits" which will forward you any e-mail addressed to 
[email protected]. If you want to unsubscribe or make any changes to 
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.

[service-technology.org] r4828 - in /trunk/meta: hello/ hello/doc/ hello/libs/ hello/libs/pnapi/ hello/maintainer/ hello/maintainer/debian/ hello/maintainer/macports/ hello/man/ hello/src/ hello/tests/ hello/tests/lcov/ hello/tests/testfiles/ hello/utils/ nets/challenge/mastermind/

Reply via email to