Mon, 10 Jul 2006 14:03:10 +0200 |
nsimic |
NC060710: Switched Constants with Enumerations
|
changeset |
files
|
Mon, 10 Jul 2006 14:02:33 +0200 |
nsimic |
NC060710: Switched Constants with Enumerations
|
changeset |
files
|
Mon, 10 Jul 2006 13:01:55 +0200 |
wneuper |
renaming before new design summerterm 2006
|
changeset |
files
|
Mon, 10 Jul 2006 12:57:07 +0200 |
wneuper |
renaming before new design summerterm 2006
|
changeset |
files
|
Mon, 10 Jul 2006 12:57:07 +0200 |
wneuper |
renaming before new design summerterm 2006
|
changeset |
files
|
Mon, 10 Jul 2006 12:22:21 +0200 |
wneuper |
moverd Users packager one level up
|
changeset |
files
|
Mon, 10 Jul 2006 12:22:21 +0200 |
wneuper |
moverd Users packager one level up
|
changeset |
files
|
Mon, 10 Jul 2006 12:22:21 +0200 |
wneuper |
moverd Users packager one level up
|
changeset |
files
|
Mon, 10 Jul 2006 12:16:08 +0200 |
wneuper |
renaming before new design summerterm 2006
|
changeset |
files
|
Mon, 10 Jul 2006 11:14:50 +0200 |
rkoenig |
overwrite tests parser
|
changeset |
files
|
Mon, 10 Jul 2006 11:08:30 +0200 |
gkompach |
*** empty log message ***
|
changeset |
files
|
Mon, 10 Jul 2006 10:53:00 +0200 |
wneuper |
added testdate for context and KEStore-elements
|
changeset |
files
|
Mon, 10 Jul 2006 10:53:00 +0200 |
wneuper |
added testdate for context and KEStore-elements
|
changeset |
files
|
Mon, 10 Jul 2006 10:53:00 +0200 |
wneuper |
added testdate for context and KEStore-elements
|
changeset |
files
|
Mon, 10 Jul 2006 10:53:00 +0200 |
wneuper |
added testdate for context and KEStore-elements
|
changeset |
files
|
Mon, 10 Jul 2006 10:53:00 +0200 |
wneuper |
added testdate for context and KEStore-elements
|
changeset |
files
|
Fri, 07 Jul 2006 13:56:28 +0200 |
nsimic |
NC: added SOLVE_SHOW_APPLICABLE_TACTICS constant
|
changeset |
files
|
Fri, 07 Jul 2006 10:57:26 +0200 |
gkompach |
partial re-organization of UI_CONTEXT
|
changeset |
files
|
Fri, 07 Jul 2006 10:52:33 +0200 |
wneuper |
template for parser test
|
changeset |
files
|
Fri, 07 Jul 2006 10:52:33 +0200 |
wneuper |
template for parser test
|
changeset |
files
|
Thu, 06 Jul 2006 21:25:35 +0200 |
gkompach |
comments for easier installation added
|
changeset |
files
|
Thu, 06 Jul 2006 18:49:44 +0200 |
wneuper |
added figs from RK into sdd and touched the respective parts of the add
|
changeset |
files
|
Thu, 06 Jul 2006 17:21:29 +0200 |
wneuper |
comment problems with java-tests,
|
changeset |
files
|
Thu, 06 Jul 2006 16:42:52 +0200 |
wneuper |
comment problems with java-tests,
|
changeset |
files
|
Thu, 06 Jul 2006 14:59:03 +0200 |
wneuper |
eclipse sometimes removes sml/ in bin/
|
changeset |
files
|
Thu, 06 Jul 2006 13:09:50 +0200 |
wneuper |
partial re-organization of UI_CONTEXT*
|
changeset |
files
|
Thu, 06 Jul 2006 11:29:12 +0200 |
wneuper |
preparing for insertion of docu from summerterm 06
|
changeset |
files
|
Tue, 04 Jul 2006 12:48:55 +0200 |
wneuper |
meeting GK RK
|
changeset |
files
|
Tue, 04 Jul 2006 12:48:55 +0200 |
wneuper |
meeting GK RK
|
changeset |
files
|
Tue, 04 Jul 2006 12:29:11 +0200 |
wneuper |
meeting GK RK
|
changeset |
files
|
Mon, 03 Jul 2006 16:36:31 +0200 |
wneuper |
setup with RK and GK
|
changeset |
files
|
Fri, 30 Jun 2006 11:40:34 +0200 |
wneuper |
introducing RK
|
changeset |
files
|
Thu, 29 Jun 2006 18:10:24 +0200 |
wneuper |
prepare for assigning sub-task to GK
|
changeset |
files
|
Thu, 29 Jun 2006 18:10:24 +0200 |
wneuper |
prepare for assigning sub-task to GK
|
changeset |
files
|
Thu, 29 Jun 2006 18:10:24 +0200 |
wneuper |
prepare for assigning sub-task to GK
|
changeset |
files
|
Thu, 29 Jun 2006 18:10:24 +0200 |
wneuper |
prepare for assigning sub-task to GK
|
changeset |
files
|
Thu, 29 Jun 2006 18:10:24 +0200 |
wneuper |
prepare for assigning sub-task to GK
|
changeset |
files
|
Thu, 29 Jun 2006 18:10:24 +0200 |
wneuper |
prepare for assigning sub-task to GK
|
changeset |
files
|
Thu, 29 Jun 2006 18:10:24 +0200 |
wneuper |
prepare for assigning sub-task to GK
|
changeset |
files
|
Thu, 29 Jun 2006 18:07:34 +0200 |
wneuper |
test on new thy_hierarchy, hrefs wrong
|
changeset |
files
|
Fri, 23 Jun 2006 17:15:17 +0200 |
wneuper |
occasional code scan
|
changeset |
files
|
Thu, 22 Jun 2006 21:06:29 +0200 |
wneuper |
added demos for contextToThy
|
changeset |
files
|
Thu, 22 Jun 2006 18:41:28 +0200 |
wneuper |
added demos for contextToThy
|
changeset |
files
|
Thu, 22 Jun 2006 08:57:46 +0200 |
wneuper |
prepare parsing getContextToThy, matchTheory
|
changeset |
files
|
Thu, 22 Jun 2006 08:57:46 +0200 |
wneuper |
prepare parsing getContextToThy, matchTheory
|
changeset |
files
|
Fri, 16 Jun 2006 17:11:02 +0200 |
wneuper |
NC tried to solve RMI-problems with isacserver at IST
|
changeset |
files
|
Fri, 16 Jun 2006 16:14:19 +0200 |
nsimic |
NC060616: formatting
|
changeset |
files
|
Fri, 16 Jun 2006 16:13:22 +0200 |
nsimic |
NC 060616:
|
changeset |
files
|
Fri, 16 Jun 2006 16:13:22 +0200 |
nsimic |
NC 060616:
|
changeset |
files
|
Fri, 16 Jun 2006 16:13:22 +0200 |
nsimic |
NC 060616:
|
changeset |
files
|
Fri, 09 Jun 2006 10:02:09 +0200 |
wneuper |
updated (last) TODOs for NC
|
changeset |
files
|
Thu, 08 Jun 2006 14:14:14 +0200 |
nsimic |
NC 060608
|
changeset |
files
|
Fri, 02 Jun 2006 10:51:18 +0200 |
wneuper |
README added for convenience
|
changeset |
files
|
Fri, 02 Jun 2006 09:41:48 +0200 |
wneuper |
the last typos and formatting before presentation
|
changeset |
files
|
Fri, 02 Jun 2006 08:38:06 +0200 |
wneuper |
cleaning up outcommented code
|
changeset |
files
|
Thu, 01 Jun 2006 23:07:05 +0200 |
mlang |
new version of the documentation
|
changeset |
files
|
Thu, 01 Jun 2006 23:07:05 +0200 |
mlang |
new version of the documentation
|
changeset |
files
|
Thu, 01 Jun 2006 23:07:05 +0200 |
mlang |
new version of the documentation
|
changeset |
files
|
Thu, 01 Jun 2006 23:07:05 +0200 |
mlang |
new version of the documentation
|
changeset |
files
|
Thu, 01 Jun 2006 23:07:05 +0200 |
mlang |
new version of the documentation
|
changeset |
files
|