Thu, 28 May 2015 14:23:18 +0200 |
PIDE: more interactions in frontend interface:
|
file | diff | annotate |
Tue, 19 May 2015 12:38:32 +0200 |
PIDE: some more interactions in frontend interface
|
file | diff | annotate |
Tue, 19 May 2015 10:57:38 +0200 |
PIDE: adapted 1st interaction in frontend (no changes in test required)
|
file | diff | annotate |
Tue, 01 Jul 2014 16:10:52 +0200 |
CLEANUP
|
file | diff | annotate |
Mon, 06 Aug 2012 16:19:30 +0200 |
fetchProposedTactic returns Tactic + errpatID list
|
file | diff | annotate |
Mon, 30 Jul 2012 16:41:08 +0200 |
findFillpatterns: repaired signature
|
file | diff | annotate |
Mon, 21 May 2012 16:56:01 +0200 |
added fun FindFillpatterns
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Thu, 23 Sep 2010 16:38:25 +0200 |
changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/
|
file | diff | annotate |
Mon, 23 Aug 2010 11:12:59 +0200 |
update xmlsrc/* finished
|
file | diff | annotate |
Thu, 12 Aug 2010 11:02:32 +0200 |
moved isac + test to final dire-structure
|
file | diff | annotate |