How to Export
First,you must select a specification in the project panel.Suppose what
you have a opened project "languages.prj" and you selected a specification
"DataNotation", like the figure 1 below shows :
After that,go to the Tools menu and click the menu item Export ...
A dialog will appear showing the options to export your specification(s).See figure 2 below.
The DataNotation specification has various sub-specifications (from Numbers to Identifier),as you see
in the figure one above.In this case,DataNotation and all the sub-specifications will be exported.
If you'll be select Strings specification,for instance, only this specification will be exported,
because it hasn't any sub-specifications.
Following a brief expanation about all the funcionalities of this dialog :
- HTML Format: You can export to HTML format.
- Export each specification in a separated .html file : If you export several specifications,
each specification will be saved in its own .html file and a "index-all.html" file will be created,
linking all the specifications exported.But if you'll export only one specification,this option
will be disabled.
- Append a custom .css file : You can define a .css file to link all the specifications exported.
So, all the files .html created will be the same format defined at the .css file whose you defined.
- LaTeX Format: You can export to LaTeX format.
- Export each specification in a separated .tex file : If you export several specifications,
each specification will be saved in its own .tex file and a "contents.tex" file will be created,
linking all the specifications exported.But if you'll export only one specification,this option
will be disabled.
- Generate table of contents : If you export several specifications,a table of contents
will be created in the file "contents.tex", including the command "\tableofcontents".But,if
you'll export only one specification,this option will be disabled.
- Generate preambule : If you export several specifications, the preambule will be included
itn the file "contents.tex".Exporting only one specification,the preambule will be included in
the file containing this specification.The preambule is the kind of commands "\documentclass{}",
"\begin{document}" and "\end{document}".
- Append a custom .sty file : You can define a .sty file which will be linked in the "contents.tex"
file,if you'll export several specifications.If you'll export one specification, the .sty file will be
linked in the file containing this specification.This option is enabled iff you enable the option
"Generate preambule". The .sty file is linked using the command "\usepackage{name of .sty file}".
- Append a custom .cls file : You can define a .cls file which will be linked in the "contents.tex"
file,if you'll export several specifications.If you'll export one specification, the .sty file will be
linked in the file containing this specification.This option is enabled iff you enable the option
"Generate preambule". The .cls file is linked using the command "\documentclass{name of .cls file}".
- Plain Text Format : You can export to Plain Text format.
- Export each specification in a separated .txt file : If you export several specifications,
each specification will be saved in its own .txt file.But if you'll export only one specification,
this option will be disabled.
Click the "OK" button to continue.If you want cancel,click "Cancel" button.
Next,one of these two cases can occur:
- If you'll export several specifications,a file dialog (See figure 3 below) will appear, requesting a directory where the
specifications exported will be saved.Select a destination directory and click the "Select" button.
If you want cancel,click "Cancel" button.
If,for instance you'll export "DataNotation" specification,a file called "DataNotation.html" (if you'll export to HTML format)
or "DataNotation.tex" (if you'll export to LaTeX format) or "DataNotation.txt" (if you'll export to Palin Text format).Next,
a directory called "DataNotation" will be created and all the sub-specifications(Numbers,Truth-Values,....,etc.,see figure 1 above)
will be saved int this directory.
- If you'll export only one specification,a file dialog (See figure 4 below) will appear, requesting a filename where the
specification exported will be saved.If you don't put any extension,the correct extension will be putted.
Type a filename and click the "Save" button.If you want cancel,click "Cancel" button.
back