[specification] Specify .tyinvert

Ignore-this: 50be83c641f87eb1f30c310a9bbac27

darcs-hash:20140630232901-2809a-35a7cd90b4f9cb93ef23f7fafbe7e2f3df3d780f
[syntax] Upgrade files to string code 0.4

Ignore-this: 9da6f479b8b9437fe05c8865cd2426cd

darcs-hash:20140630235347-2809a-f3ef923684fa72dd31ab2d06edc4360419ecee0b
[cleanup] Convert to UNIMPL and %P

Ignore-this: bd00e7b06e73ddc0b8869322c4e028b7

darcs-hash:20140701002154-2809a-bef307a1f0b2ea339882b38e403a1a1d704aa0d7
[cleanup] Remove obsolete comment

Ignore-this: 757363628ce58ec6dffc830e559f5092

darcs-hash:20140701040832-2809a-9392a766d0eaf1e7f20b8c18bff9279c8d10ad94
[ace] Add several layers of redundancy to check for threads being shut down multiple times, not shut down threads multiple times, and not shut down threads on failures of functions that shut down the offending thread themselves

Ignore-this: 8135f917caa27dc3bd59137a5d0e9e8e

darcs-hash:20140701051039-2809a-2e7bf23749281ffd851dd98584e5e323f3f5db52
[parser] Change _parser.parse_work_lookahead_w to have an unlifted type, so we can use .call to enter it

Ignore-this: 6aca305c3a78f9d726df84f38796997e

darcs-hash:20140701051524-2809a-4b681d83968422f156428f25d68639a92c7ba69d
[specification] Specify .tydefinition

Ignore-this: 614ed68eba5bb7765be8d138ff0fa1c8

darcs-hash:20140702014649-2809a-f9122ba6d0415aa8b4d7f90d44f5f43867fa3c54
[syntax] Remove final tests for string code 0.3 and convert test fixtures to string code 0.4

Ignore-this: cc849e49b723248f35abe48db06ec63c

darcs-hash:20140702020230-2809a-50e4a9c9188b7b592e0093000762c3c0350c87d2
[syntax] Upgrade remaining tests to string code 0.4

Ignore-this: d1c4b8f252ce40da38c63749266d7c05

darcs-hash:20140702020700-2809a-4045aa1fee43ef740df648ed077c171184820179
[syntax] Remove 0.3 support entirely from the interpreter

Ignore-this: 66443fdd3b622ad191ce05563f217da6

darcs-hash:20140702021949-2809a-f9f1cd084df3cff4bde401cdd64ed9a076a90a93
[syntax] Remove version 0.3 from the language specification

Ignore-this: 87c669de53122958047e636170d6e772

darcs-hash:20140702022244-2809a-be9157541af081b395d3cf2e8ed18bd4d250f2cf
[specification] Fix overfull line

Ignore-this: cc53a6020d1e066c7f9eb9524a6b9ce0

darcs-hash:20140702223727-2809a-4feb9c436a238feb4279eed4f24a19861852e330
[specification] Specify kind syntax

Ignore-this: 37989cc2a29394c6fe0767b5fb0eee14

darcs-hash:20140702225214-2809a-d593b8628a2a7f36db117e49f0bdaba3ca7990ee
[syntax] Add support for string code 0.5 in prefix files to gsac

Ignore-this: d9a90199c988d1d1d3cf97853ea0e409

darcs-hash:20140702231022-2809a-3316867fa89e724feeebe4ba7621457cda6bdc68
[syntax] Upgrade non-test fixture non-API files to string code 0.5

Ignore-this: 710fe667a6c06cc4cf596a88d4fbf237

darcs-hash:20140702231112-2809a-d7f2a7c6ca33e28b4475123a5776873e8e54f891
[syntax] Remove support for 0.3 files in prefix from gsac

Ignore-this: c8c613ec1d416d83d5c59fa2d4f42001

darcs-hash:20140702232745-2809a-d73a32e2359b5519505d7c967c4a6e875f0c4346
[syntax] Remove support for 0.3 from string code codeitem parser

Ignore-this: dca8d9b44d2ae831dfda943afda70d83

darcs-hash:20140702233653-2809a-c79071c9d176a02350c6b25ef74964e44b8ced51
[parser] Switch _parser.parse_work_lookahead_w to a tail-recursive algorithm

Ignore-this: 11d31da4a544076b51c7f2d93f7beba4

darcs-hash:20140704003132-2809a-3c9b932761d4baee7a800042e0a6c0b5ce48b7c1
[specification] Fix LaTeX errors in string code specification

Ignore-this: 7713a8d5ce51d7e6d7d22518b1704b

darcs-hash:20140704190415-2809a-a1d9ed5503ef067e438980b64266def54fbb7cef
[syntax] Update file to string code 0.5

Ignore-this: deecfd0e308c9fcbe078ba43358ddffa

darcs-hash:20140704191233-2809a-55bb869fb9f3db789d9049dcb30cc31cbc6cb1b6