| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:02 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Wed, 06 Jul 2005 11:27:02 +0200 |
mlang |
ML: comitting after merge
ML_test Root_JL_TEST
|
changeset |
files
|
| Wed, 06 Jul 2005 11:20:15 +0200 |
mlang |
ML: after merging
ML_test
|
changeset |
files
|
| Wed, 06 Jul 2005 11:08:50 +0200 |
mlang |
ML: implemented a testcase for generating a html-file out of ine xml-file
ML_test
|
changeset |
files
|
| Wed, 06 Jul 2005 11:08:50 +0200 |
mlang |
ML: implemented a testcase for generating a html-file out of ine xml-file
ML_test
|
changeset |
files
|
| Wed, 06 Jul 2005 11:08:50 +0200 |
mlang |
ML: implemented a testcase for generating a html-file out of ine xml-file
ML_test
|
changeset |
files
|
| Thu, 30 Jun 2005 12:03:59 +0200 |
mlang |
java GenHTML added a testline
ML_test
|
changeset |
files
|
| Fri, 07 Mar 2008 10:53:15 +0100 |
cropposc |
Documentation for Master-Practical
start-work-070517
|
changeset |
files
|
| Mon, 03 Mar 2008 13:39:35 +0100 |
cropposc |
Documentation for Master-Practical
start-work-070517
|
changeset |
files
|
| Thu, 31 Jan 2008 18:12:31 +0100 |
cropposc |
Documentation for Master-Practical
start-work-070517
|
changeset |
files
|
| Thu, 31 Jan 2008 18:10:53 +0100 |
cropposc |
Documentation for Master-Practical
start-work-070517
|
changeset |
files
|
| Thu, 17 Jan 2008 15:34:56 +0100 |
wneuper |
for PolyMinus at Sch"arding, corrections p.34
start-work-070517
|
changeset |
files
|
| Thu, 17 Jan 2008 12:31:17 +0100 |
wneuper |
prepare (last?) meeting with MM
start-work-070517
|
changeset |
files
|
| Fri, 11 Jan 2008 19:08:40 +0100 |
wneuper |
meeting MM + WN
start-work-070517
|
changeset |
files
|
| Sun, 06 Jan 2008 19:16:26 +0100 |
wneuper |
for PolyMinus at Sch"arding, corrections p.33 finished
start-work-070517
|
changeset |
files
|
| Sun, 06 Jan 2008 18:56:55 +0100 |
wneuper |
for PolyMinus at Sch"arding, corrections p.33
start-work-070517
|
changeset |
files
|
| Fri, 04 Jan 2008 19:00:50 +0100 |
wneuper |
for PolyMinus at Sch"arding, realize p.39, intermediate state
start-work-070517
|
changeset |
files
|
| Fri, 04 Jan 2008 16:08:52 +0100 |
wneuper |
for PolyMinus at Sch"arding, make p.33 confluent
start-work-070517
|
changeset |
files
|
| Fri, 04 Jan 2008 11:16:28 +0100 |
wneuper |
for PolyMinus at Sch"arding, make p.33 confluent
start-work-070517
|
changeset |
files
|
| Wed, 02 Jan 2008 18:13:59 +0100 |
wneuper |
sel_rules + sel_appl_atomic_tacs + applyTactic, intermediate state
start-work-070517
|
changeset |
files
|
| Wed, 02 Jan 2008 14:42:04 +0100 |
wneuper |
sel_rules: generalize "fun assod" to Rewrite tac -- Rewrite_Set containing tac, stopped withou success.
start-work-070517
|
changeset |
files
|
| Wed, 02 Jan 2008 10:06:00 +0100 |
wneuper |
sel_rules: generalize "fun assod" to Rewrite tac -- Rewrite_Set containing tac, intermediate
start-work-070517
|
changeset |
files
|
| Wed, 02 Jan 2008 09:56:26 +0100 |
wneuper |
sel_rules: generalize "fun assod" to Rewrite tac -- Rewrite_Set containing tac, intermediate
start-work-070517
|
changeset |
files
|
| Mon, 31 Dec 2007 17:56:24 +0100 |
wneuper |
sel_rules: sel_appl_atomic_tacs finished
start-work-070517
|
changeset |
files
|
| Mon, 31 Dec 2007 14:18:53 +0100 |
wneuper |
sel_rules selects _applicable_ tactics only, intermediate stae
start-work-070517
|
changeset |
files
|
| Mon, 31 Dec 2007 09:55:43 +0100 |
wneuper |
for PolyMinus at Sch"arding, p.34 finshed
start-work-070517
|
changeset |
files
|
| Fri, 28 Dec 2007 14:57:38 +0100 |
wneuper |
for PolyMinus at Sch"arding, probe added, not tested.
start-work-070517
|
changeset |
files
|
| Fri, 28 Dec 2007 12:10:09 +0100 |
wneuper |
for PolyMinus at Sch"arding, pbl vereinfache ok.
start-work-070517
|
changeset |
files
|
| Thu, 27 Dec 2007 17:44:23 +0100 |
wneuper |
for PolyMinus at Sch"arding, expand poly with minus ok.
start-work-070517
|
changeset |
files
|
| Thu, 27 Dec 2007 15:20:44 +0100 |
wneuper |
for PolyMinus at Sch"arding, intermediate, tests ok
start-work-070517
|
changeset |
files
|
| Thu, 27 Dec 2007 12:25:27 +0100 |
wneuper |
outcommented: TODO.new_c: cvs before 071227, 11:50
start-work-070517
|
changeset |
files
|