Problem with date formats in domain theory files

[GoogleCodeExporter]

What steps will reproduce the problem?

1. File / Open: EngTextSynthetic20.silk
2. Context / Get New Suggestions

What is the expected output? What do you see instead?

It stops prematurely with an error message saying that "August 1862" in 
Eskimo_Baffin_Bay.thy is not a valid date.

Please provide any additional information below.

Original issue reported on code.google.com by garyfsim...@gmail.com on 19 Sep 2011 at 12:57

[GoogleCodeExporter]

Original comment by garyfsim...@gmail.com on 19 Sep 2011 at 1:03

[GoogleCodeExporter]

Original comment by garyfsim...@gmail.com on 19 Sep 2011 at 1:24

• Changed state: Accepted

[GoogleCodeExporter]

Yes, this is because I did not provide you with the latest copy of the Library 
domain theories (all their dates have been reformatted as "universal" dates).

SOLUTION: Gary Morris must put a complete set of compatible files in the 
Downloads area.  This will include updated Silk-Status.xsl, Library files, and 
application. I will do this when I get to a stable point in the code -- soon I 
hope.

Original comment by garymorr...@verizon.net on 19 Sep 2011 at 1:53

• Changed state: Started

[GoogleCodeExporter]

The Library distributed with the candidate for release 1.0 contains updated 
Domain Theories. Problem should be resolved.

Original comment by garymorr...@verizon.net on 12 Oct 2011 at 7:07

• Changed state: Fixed

[GoogleCodeExporter]

Original comment by garymorr...@verizon.net on 3 Nov 2011 at 8:07

• Changed state: Verified