| Wed, 12 Jul 2006 11:44:47 +0200 |
nsimic |
NC060712: New BrowserFrame and BrowserPanel mechanism for GUI components that display knowledge
|
changeset |
files
|
| Wed, 12 Jul 2006 11:44:47 +0200 |
nsimic |
NC060712: New BrowserFrame and BrowserPanel mechanism for GUI components that display knowledge
|
changeset |
files
|
| Wed, 12 Jul 2006 11:44:47 +0200 |
nsimic |
NC060712: New BrowserFrame and BrowserPanel mechanism for GUI components that display knowledge
|
changeset |
files
|
| Wed, 12 Jul 2006 11:44:47 +0200 |
nsimic |
NC060712: New BrowserFrame and BrowserPanel mechanism for GUI components that display knowledge
|
changeset |
files
|
| Wed, 12 Jul 2006 11:44:47 +0200 |
nsimic |
NC060712: New BrowserFrame and BrowserPanel mechanism for GUI components that display knowledge
|
changeset |
files
|
| Wed, 12 Jul 2006 11:43:01 +0200 |
rkoenig |
RK 060712 is now IContextProvider
|
changeset |
files
|
| Wed, 12 Jul 2006 11:39:20 +0200 |
nsimic |
NC060712: Added some Browser contexts
|
changeset |
files
|
| Wed, 12 Jul 2006 11:33:42 +0200 |
gkompach |
constructors have to be public to use them
|
changeset |
files
|
| Wed, 12 Jul 2006 11:17:55 +0200 |
rkoenig |
RK 060712 implementation started
|
changeset |
files
|
| Wed, 12 Jul 2006 11:17:26 +0200 |
rkoenig |
RK 060712 methods must return interface for RMI
|
changeset |
files
|
| Wed, 12 Jul 2006 11:16:54 +0200 |
rkoenig |
RK 060712 just better comments
|
changeset |
files
|
| Wed, 12 Jul 2006 11:14:02 +0200 |
rkoenig |
RK 060712 getWSdiaogManager forgotten
|
changeset |
files
|
| Wed, 12 Jul 2006 11:13:22 +0200 |
rkoenig |
RK 060712 just better comments
|
changeset |
files
|
| Wed, 12 Jul 2006 11:12:50 +0200 |
rkoenig |
RK 060712 methods must return interface for RMI
|
changeset |
files
|
| Wed, 12 Jul 2006 10:19:05 +0200 |
gkompach |
constructors have to be public to use them
|
changeset |
files
|
| Tue, 11 Jul 2006 16:15:35 +0200 |
rkoenig |
RK 060711 better comment header
|
changeset |
files
|
| Tue, 11 Jul 2006 16:05:10 +0200 |
gkompach |
preparation for design-discussions
|
changeset |
files
|
| Tue, 11 Jul 2006 16:04:52 +0200 |
gkompach |
some errors from merging fixed, not implemented methods fixed with exit(-1) for debugging
|
changeset |
files
|
| Tue, 11 Jul 2006 16:00:45 +0200 |
gkompach |
some errors from merging fixed, not implemented methods fixed with exit(-1) for debugging
|
changeset |
files
|
| Tue, 11 Jul 2006 15:57:17 +0200 |
gkompach |
some errors from merging fixed, not implemented methods fixed with exit(-1) for debugging
|
changeset |
files
|
| Tue, 11 Jul 2006 15:48:37 +0200 |
gkompach |
some errors from merging fixed, not implemented methods fixed with exit(-1) for debugging
|
changeset |
files
|
| Tue, 11 Jul 2006 15:06:33 +0200 |
rkoenig |
RK 060711 parameter forgotten
|
changeset |
files
|
| Tue, 11 Jul 2006 15:04:22 +0200 |
rkoenig |
RK 060711 switch case replaced with overloaded method
|
changeset |
files
|
| Tue, 11 Jul 2006 14:52:02 +0200 |
rkoenig |
RK 060711 parameter forgotten
|
changeset |
files
|
| Tue, 11 Jul 2006 14:49:06 +0200 |
rkoenig |
RK 060711 added, because the example browser can now have a context
|
changeset |
files
|
| Tue, 11 Jul 2006 14:48:17 +0200 |
rkoenig |
RK 060711 some errors from merging fixed
|
changeset |
files
|
| Tue, 11 Jul 2006 14:37:10 +0200 |
gkompach |
preparation for design-discussions
|
changeset |
files
|
| Tue, 11 Jul 2006 14:23:58 +0200 |
gkompach |
preparation for design-discussions
|
changeset |
files
|
| Tue, 11 Jul 2006 14:13:52 +0200 |
rkoenig |
RK 060711 wich System.exit(-1) in not implemented methods
|
changeset |
files
|
| Tue, 11 Jul 2006 11:07:52 +0200 |
gkompach |
preparation for design-discussions
|
changeset |
files
|
| Tue, 11 Jul 2006 10:57:35 +0200 |
gkompach |
preparation for design-discussions
|
changeset |
files
|
| Tue, 11 Jul 2006 10:47:02 +0200 |
wneuper |
separated contexts WA, WS, Browsers
|
changeset |
files
|
| Mon, 10 Jul 2006 18:13:22 +0200 |
rkoenig |
RK 060710 belonging to new design
|
changeset |
files
|
| Mon, 10 Jul 2006 16:41:32 +0200 |
gkompach |
new generated interface for the BrowserDialog
|
changeset |
files
|
| Mon, 10 Jul 2006 14:16:04 +0200 |
rkoenig |
RK 060710 a test for KEStoreCommunication added to check if the theories are accessable as well
|
changeset |
files
|
| Mon, 10 Jul 2006 14:14:55 +0200 |
rkoenig |
RK 060710 new for genhtml with theories
|
changeset |
files
|
| Mon, 10 Jul 2006 14:14:21 +0200 |
rkoenig |
RK 060710 now working with relitive path
|
changeset |
files
|
| Mon, 10 Jul 2006 14:13:55 +0200 |
rkoenig |
RK 060710 now with <CONTEXT> and </CONTEXT> tags
|
changeset |
files
|
| Mon, 10 Jul 2006 14:13:55 +0200 |
rkoenig |
RK 060710 now with <CONTEXT> and </CONTEXT> tags
|
changeset |
files
|
| Mon, 10 Jul 2006 14:13:54 +0200 |
rkoenig |
RK 060710 now with <CONTEXT> and </CONTEXT> tags
|
changeset |
files
|
| Mon, 10 Jul 2006 14:13:54 +0200 |
rkoenig |
RK 060710 now with <CONTEXT> and </CONTEXT> tags
|
changeset |
files
|
| Mon, 10 Jul 2006 14:13:07 +0200 |
rkoenig |
RK 060710 creates theories now too
|
changeset |
files
|
| Mon, 10 Jul 2006 14:13:07 +0200 |
rkoenig |
RK 060710 creates theories now too
|
changeset |
files
|
| Mon, 10 Jul 2006 14:12:30 +0200 |
rkoenig |
RK 060710 can now also handle the theories
|
changeset |
files
|
| Mon, 10 Jul 2006 14:10:10 +0200 |
nsimic |
NC060710: Switched Constants with Enumerations
|
changeset |
files
|
| Mon, 10 Jul 2006 14:08:36 +0200 |
nsimic |
NC060710: Switched Constants with Enumerations
|
changeset |
files
|
| Mon, 10 Jul 2006 14:05:01 +0200 |
nsimic |
NC060710:
|
changeset |
files
|
| Mon, 10 Jul 2006 14:05:01 +0200 |
nsimic |
NC060710:
|
changeset |
files
|
| Mon, 10 Jul 2006 14:05:01 +0200 |
nsimic |
NC060710:
|
changeset |
files
|
| Mon, 10 Jul 2006 14:05:01 +0200 |
nsimic |
NC060710:
|
changeset |
files
|
| Mon, 10 Jul 2006 14:05:01 +0200 |
nsimic |
NC060710:
|
changeset |
files
|
| Mon, 10 Jul 2006 14:05:00 +0200 |
nsimic |
NC060710:
|
changeset |
files
|
| Mon, 10 Jul 2006 14:05:00 +0200 |
nsimic |
NC060710:
|
changeset |
files
|
| 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
|