Skip to topic | Skip to bottom
Home
Mizar

edit

Mizar.MizarParserr1.1 - 30 Oct 2006 - 12:55 - MichaelNedzelskytopic end
Start of topic | Skip to actions

-- 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.


to top
End of topic
Skip to action links | Back to top

WebForm
TopicClassification: Select one...
ProjectGroup?:  
ImplementationDate?: N/A

I Attachment sort Action Size Date Who Comment
miztest.tar.gz manage 142.8 K 30 Oct 2006 - 13:09 MichaelNedzelsky The snapshot copy of the code on 2006-10-30

Edit | Attach image or document | Printable version | Raw text | More topic actions
Revisions: | r1.1 | Total page history | Backlinks
You are here: Mizar > MizarParser

to top

Copyright © 1999-2008 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Mizar TWiki? Send feedback