Mon, 10 Jul 2006 14:05:01 +0200NC060710:
nsimic [Mon, 10 Jul 2006 14:05:01 +0200] rev 3291
NC060710:

- Switched Constants with Enumerations
- Changed Applicable Tactics Behaviour (now sent only when the user asks for them)
- Changed CalcHead Item sending from WSDialog -> WS ( getFormulaeFromTo instead of ITerator->moveDown() )

Mon, 10 Jul 2006 14:05:01 +0200NC060710:
nsimic [Mon, 10 Jul 2006 14:05:01 +0200] rev 3290
NC060710:

- Switched Constants with Enumerations
- Changed Applicable Tactics Behaviour (now sent only when the user asks for them)
- Changed CalcHead Item sending from WSDialog -> WS ( getFormulaeFromTo instead of ITerator->moveDown() )

Mon, 10 Jul 2006 14:05:01 +0200NC060710:
nsimic [Mon, 10 Jul 2006 14:05:01 +0200] rev 3289
NC060710:

- Switched Constants with Enumerations
- Changed Applicable Tactics Behaviour (now sent only when the user asks for them)
- Changed CalcHead Item sending from WSDialog -> WS ( getFormulaeFromTo instead of ITerator->moveDown() )

Mon, 10 Jul 2006 14:05:01 +0200NC060710:
nsimic [Mon, 10 Jul 2006 14:05:01 +0200] rev 3288
NC060710:

- Switched Constants with Enumerations
- Changed Applicable Tactics Behaviour (now sent only when the user asks for them)
- Changed CalcHead Item sending from WSDialog -> WS ( getFormulaeFromTo instead of ITerator->moveDown() )

Mon, 10 Jul 2006 14:05:00 +0200NC060710:
nsimic [Mon, 10 Jul 2006 14:05:00 +0200] rev 3287
NC060710:

- Switched Constants with Enumerations
- Changed Applicable Tactics Behaviour (now sent only when the user asks for them)
- Changed CalcHead Item sending from WSDialog -> WS ( getFormulaeFromTo instead of ITerator->moveDown() )

Mon, 10 Jul 2006 14:05:00 +0200NC060710:
nsimic [Mon, 10 Jul 2006 14:05:00 +0200] rev 3286
NC060710:

- Switched Constants with Enumerations
- Changed Applicable Tactics Behaviour (now sent only when the user asks for them)
- Changed CalcHead Item sending from WSDialog -> WS ( getFormulaeFromTo instead of ITerator->moveDown() )

Mon, 10 Jul 2006 14:03:10 +0200NC060710: Switched Constants with Enumerations
nsimic [Mon, 10 Jul 2006 14:03:10 +0200] rev 3285
NC060710: Switched Constants with Enumerations

Mon, 10 Jul 2006 14:02:33 +0200NC060710: Switched Constants with Enumerations
nsimic [Mon, 10 Jul 2006 14:02:33 +0200] rev 3284
NC060710: Switched Constants with Enumerations

Mon, 10 Jul 2006 13:01:55 +0200renaming before new design summerterm 2006
wneuper [Mon, 10 Jul 2006 13:01:55 +0200] rev 3283
renaming before new design summerterm 2006

Mon, 10 Jul 2006 12:57:07 +0200renaming before new design summerterm 2006
wneuper [Mon, 10 Jul 2006 12:57:07 +0200] rev 3282
renaming before new design summerterm 2006