Defect reports
| Number | Title | Status | Issue date | Group deadline | Editor's deadline | Ballot deadline | Publication date |
|---|---|---|---|---|---|---|---|
| 13568/001 | Use of UCS | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 | |
| 13568/002 | Latex zed environment | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 | |
| 13568/003 | Latex theorem environment | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 | |
| 13568/004 | Semantic equation for schema universal quantification expression | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 | |
| 13568/005 | Range of operator precedences | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 | |
| 13568/006 | Lexis of punctuation characters | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 | |
| 13568/007 | Newlines in paragraph headers | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 | |
| 13568/008 | Look-ahead in lexer | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 | |
| 13568/009 | Use of meta-language decor operator | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 | |
| 13568/010 | Operators in generic horizontal definitions | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 | |
| 13568/011 | Latex rendering of multiple strokes | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 | |
| 13568/012 | Informal text | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 | |
| 13568/013 | Miscellaneous editorial corrections | Passed | 2006-07-01 | 2006-08-11 | 2006-09-01 | 2006-12-08 |
Accumulated Defect Reports 13568/001..013 May 4, 2007.
Technical Corrigenda for Defect Reports 13568/001..013 May 4, 2007.
| Number | Title | Status | Issue date | Group deadline | Editor's deadline | Ballot deadline | Publication date |
|---|---|---|---|---|---|---|---|
| 13568/014 | Parsing theta with renaming | Draft | |||||
| 13568/015 | Latex rendering of mutually recursive free types | Draft | |||||
| 13568/016 | Summary of scope rules | Draft | |||||
| 13568/017 | Duplicate definitions of powerset | Draft | |||||
| 13568/018 | Semantic transformations for schema composition and piping | Draft |
International standards
Index of resources
Home page of the Z standards effort
Last modified on May 4th, 2007