Name Last Update
..
.gitignore Loading commit data...
README Loading commit data...
example.pl Loading commit data...
lgpl-3.0.txt Loading commit data...
makefile Loading commit data...
opis_do_dzieła.txt Loading commit data...
test.ml Loading commit data...
xTContext.ml Loading commit data...
xTDisambiguation.ml Loading commit data...
xTLatexOf.ml Loading commit data...
xTLinearTermOf.ml Loading commit data...
xTNormalizer.ml Loading commit data...
xTOfXml.ml Loading commit data...
xTPrologParser.ml Loading commit data...
xTStringOf.ml Loading commit data...
xTTypes.ml Loading commit data...
xTXmlOf.ml Loading commit data...

README

XT Version 1.0 :
-----------------------

XT is a library that converts XLE output into ENIAM format.

Install
-------

XT requires OCaml version 4.02.3 compiler
together with Xlib library version 3.2 or later.

In order to install type:

make install

by default, XT is installed in the 'ocamlc -where'/eniam directory.
you can change it by editing the Makefile.

In order to test library type:
make test
./test [OPTIONS] <filename>

By default XT looks for resources in /usr/share/eniam directory.
However this behaviour may be changed by setting end exporting ENIAM_RESOURCE_PATH
environment variable.

Credits
-------
Copyright © 2017 Wojciech Jaworski <wjaworski atSPAMfree mimuw dot edu dot pl>
Copyright © 2017 Institute of Computer Science Polish Academy of Sciences

Licence
-------

This library is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License
along with this program.  If not, see <http://www.gnu.org/licenses/>.