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
|
Mon, 10 Dec 2007 14:18:49 +0100 |
wneuper |
add PolyMinus for Schaerding
start-work-070517
|
changeset |
files
|
Mon, 10 Dec 2007 11:09:26 +0100 |
wneuper |
add PolyMinus for Schaerding, found files not included into smltest
start-work-070517
|
changeset |
files
|
Mon, 10 Dec 2007 09:01:54 +0100 |
wneuper |
add PolyMinus for Schaerding
start-work-070517
|
changeset |
files
|
Mon, 03 Dec 2007 19:45:05 +0100 |
wneuper |
for demo at innsbruck 071206, demos outcommented (version_isac = "WN071206-log-demo")
start-work-070517
|
changeset |
files
|
Mon, 03 Dec 2007 19:11:27 +0100 |
wneuper |
for demo at innsbruck 071206, demos outcommented (version_isac = "WN071206-log-demo")
start-work-070517
|
changeset |
files
|
Mon, 03 Dec 2007 15:59:34 +0100 |
wneuper |
prepare for demo at innsbruck 071206
start-work-070517
|
changeset |
files
|
Mon, 03 Dec 2007 15:54:09 +0100 |
wneuper |
prepare for demo at innsbruck 071206
start-work-070517
|
changeset |
files
|
Sat, 24 Nov 2007 18:59:07 +0100 |
isacdev |
install isacdev: from isacdev's commandline
start-work-070517
|
changeset |
files
|
Sat, 24 Nov 2007 18:27:38 +0100 |
wneuper |
installing at isacdev
start-work-070517
|
changeset |
files
|
Sat, 24 Nov 2007 11:58:00 +0100 |
wneuper |
installing at isacdev
start-work-070517
|
changeset |
files
|
Sat, 24 Nov 2007 10:05:44 +0100 |
wneuper |
installing at isacdev
start-work-070517
|
changeset |
files
|
Fri, 23 Nov 2007 16:46:08 +0100 |
wneuper |
installing at isacdev
start-work-070517
|
changeset |
files
|
Thu, 22 Nov 2007 10:37:13 +0100 |
wneuper |
regular update
start-work-070517
|
changeset |
files
|
Sat, 10 Nov 2007 18:26:19 +0100 |
wneuper |
final corrections at publication on web
start-work-070517
|
changeset |
files
|
Fri, 09 Nov 2007 11:00:03 +0100 |
wkandlba |
work finished
start-work-070517
|
changeset |
files
|
Thu, 08 Nov 2007 20:01:10 +0100 |
wneuper |
final check of CR queries
start-work-070517
|
changeset |
files
|
Thu, 08 Nov 2007 18:54:18 +0100 |
wneuper |
tried to make this an ASCI-file
start-work-070517
|
changeset |
files
|
Thu, 08 Nov 2007 17:49:46 +0100 |
wneuper |
after meeting WK WN
start-work-070517
|
changeset |
files
|
Thu, 08 Nov 2007 16:21:37 +0100 |
wkandlba |
last changes after meeting
start-work-070517
|
changeset |
files
|
Thu, 08 Nov 2007 14:58:57 +0100 |
wkandlba |
last changes after meeting
start-work-070517
|
changeset |
files
|
Thu, 08 Nov 2007 12:02:59 +0100 |
wneuper |
meeting WK WN
start-work-070517
|
changeset |
files
|
Thu, 08 Nov 2007 10:28:08 +0100 |
wkandlba |
meeting WN WK
start-work-070517
|
changeset |
files
|
Thu, 08 Nov 2007 10:24:38 +0100 |
wneuper |
meeting WK WN
start-work-070517
|
changeset |
files
|
Thu, 08 Nov 2007 10:21:59 +0100 |
wkandlba |
meeting WN WK
start-work-070517
|
changeset |
files
|
Tue, 06 Nov 2007 08:56:24 +0100 |
wneuper |
commenting CR mag-thesis; TODO queries
start-work-070517
|
changeset |
files
|
Wed, 31 Oct 2007 23:50:40 +0100 |
cropposc |
Queries for UserLogger
start-work-070517
|
changeset |
files
|
Wed, 31 Oct 2007 23:04:50 +0100 |
cropposc |
Queries for UserLogger
start-work-070517
|
changeset |
files
|
Wed, 31 Oct 2007 23:02:55 +0100 |
cropposc |
Documentation for Master-Practical
start-work-070517
|
changeset |
files
|
Wed, 31 Oct 2007 23:01:45 +0100 |
cropposc |
Queries for UserLogger
start-work-070517
|
changeset |
files
|
Wed, 31 Oct 2007 22:59:35 +0100 |
cropposc |
Queries for UserLogger
start-work-070517
|
changeset |
files
|
Wed, 31 Oct 2007 16:33:08 +0100 |
cropposc |
Documentation for Master-Practical
start-work-070517
|
changeset |
files
|
Wed, 31 Oct 2007 16:31:32 +0100 |
wneuper |
comments while testing
start-work-070517
|
changeset |
files
|
Wed, 31 Oct 2007 16:12:19 +0100 |
wneuper |
finished review WK bakk (double bib deleted)
start-work-070517
|
changeset |
files
|
Wed, 31 Oct 2007 16:10:59 +0100 |
wneuper |
finished review WK bakk (conflicts in titlepage handled)
start-work-070517
|
changeset |
files
|
Wed, 31 Oct 2007 16:10:33 +0100 |
wneuper |
finished review WK bakk (conflicts in content handled)
start-work-070517
|
changeset |
files
|
Wed, 31 Oct 2007 16:05:26 +0100 |
wneuper |
finished review WK bakk (conflicts in content and titlepage handled in next go)
start-work-070517
|
changeset |
files
|