-- MichaelNedzelsky - 30 Oct 2006

The utility was removed from this page. You can get the code at MizarParser

-- MichaelNedzelsky - 09 Oct 2006

The following simple utility (written on OCaml) splits given Mizar article into sequence of tokens and stores the result as XML file.

  ocamlc voc.ml lexer.ml -o lexer

  lexer [dict_dir] article_name

  lexer dict text/test.miz

The result is the file text/test.tokens.xml
TopicClassification Select one...

ImplementationDate? N/A
Topic revision: r2 - 2006-10-30 - 12:33:40 - MichaelNedzelsky
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback