Thu, 17 Jan 2008 16:27:03 +0100 |
start-work-070517 merged into HEAD
|
file | diff | annotate |
Thu, 22 Feb 2007 16:26:11 +0100 |
merged in start_Take (smltest/xmlsrc required manual copy)
|
file | diff | annotate |
Mon, 01 Sep 2003 08:49:24 +0200 |
*** empty log message ***
|
file | diff | annotate |
Thu, 28 Aug 2003 15:41:50 +0200 |
*** empty log message ***
|
file | diff | annotate |
Fri, 15 Aug 2003 12:23:47 +0200 |
*** empty log message ***
|
file | diff | annotate |
Wed, 02 Jul 2003 18:01:06 +0200 |
*** empty log message ***
|
file | diff | annotate |
Wed, 02 Jul 2003 15:44:51 +0200 |
*** empty log message ***
|
file | diff | annotate |
Tue, 01 Jul 2003 17:05:30 +0200 |
*** empty log message ***
|
file | diff | annotate |
Fri, 21 Jul 2006 15:56:52 +0200 |
sml: added guh2kestoreID for checkContext
|
file | diff | annotate |
Sun, 11 Jun 2006 11:57:48 +0200 |
mv systest/ctree.sml ../smltest/ME/ctree.sml;
|
file | diff | annotate |
Sun, 14 May 2006 14:33:20 +0200 |
completed 'fun tac2xml' with 'Substitute cterms'; started and postponed work on reverse rewriting;
|
file | diff | annotate |
Sat, 13 May 2006 11:04:20 +0200 |
added: fun tac2xml (Calculate opstr); continued with a flaw introduced with cterm2xml (which (sometimes?) is abused for 'string' in SIMPLETACTIC (and others?))
|
file | diff | annotate |
Sat, 11 Mar 2006 17:51:13 +0100 |
encode and decode "^^^"<--->"^" at the kernels interface,
|
file | diff | annotate |
Thu, 26 Jan 2006 16:18:22 +0100 |
prepare thy_hierarchy, remove quotes from formulae again
|
file | diff | annotate |
Sat, 07 Jan 2006 18:26:31 +0100 |
prepare export of thy-data to xml (!+ <ISA> with "")
|
file | diff | annotate |
Tue, 16 Oct 2007 15:26:44 +0200 |
de/encode for "<" and ">" and "&" (sml + java), finished
|
file | diff | annotate |
Tue, 16 Oct 2007 11:41:16 +0200 |
de/encode for "<" and ">" (sml + java), intermediate state
|
file | diff | annotate |