-- MichaelNedzelsky - 30 Oct 2006
Now the parser can build an incomplete parse tree (in which some nodes are non-terminals) for given Mizar article. Type information is not used.
- miztest.tar.gz: The snapshot copy of the code on 2006-10-30
| WebForm | |
|---|---|
| TopicClassification | Select one... |
| ProjectGroup? | |
| ImplementationDate? | N/A |
| I | Attachment | Action | Size | Date | Who | Comment |
|---|---|---|---|---|---|---|
 gz |
miztest.tar.gz | manage | 142.8 K | 2006-10-30 - 13:09 | MichaelNedzelsky | The snapshot copy of the code on 2006-10-30 |
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2006-10-30 - 12:55:23 - MichaelNedzelsky
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback