From ae94748fa918a776ab3c88bacaf33ee4ce2bd088 Mon Sep 17 00:00:00 2001 From: ref-humbold Date: Mon, 18 Jun 2018 01:00:55 +0200 Subject: [PATCH] Update README.md --- README.md | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/README.md b/README.md index 174c72d..eab64cc 100644 --- a/README.md +++ b/README.md @@ -5,9 +5,9 @@ Finite and Infinite Tree Automata Viewer ## About FITA-View is a system desired for visualizing workings of tree automata. Supported automata: -* Bottom-up deterministic finite tree automata -* Top-down deterministic finite tree automata -* Top-down non-deterministic finite tree automata ++ Bottom-up deterministic finite tree automata ++ Top-down deterministic finite tree automata ++ Top-down non-deterministic finite tree automata Trees and automata can be loaded from XML files with extensions *filename.tree.xml* for trees, *filename.bua.xml* for bottom-up automata and *filename.tda.xml* for top-down automata. @@ -17,20 +17,20 @@ Trees and automata can be loaded from XML files with extensions *filename.tree.x FITA-View requires at least **[Java Standard Edition version 8](http://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html)** installed. There are no dependencies on additional libraries. For unit testing in FITA-View following libraries are required: -* JUnit 4 -* Mockito 1.10.19 (or newer) -* PowerMock 1.7.1 (or newer) ++ JUnit 4 ++ Mockito 1.10.19 (or newer) ++ PowerMock 1.7.1 (or newer) ---- ### How to build? FITA-View can be built with **[Apache ANT](http://ant.apache.org/)**. Possible targets are: - * `ant` - same as `ant all` - * `ant make` - compile only source files, create executable jar - * `ant make-test` - compile source and tests files, create executable jar *(libraries required)* - * `ant test` - run all tests *(libraries required)* - * `ant javadocs` - generate Javadocs - * `ant all` - compile source and tests files, run all tests and generate Javadocs *(libraries required)* ++ `ant` - same as `ant all` ++ `ant make` - compile only source files, create executable jar ++ `ant make-test` - compile source and tests files, create executable jar *(libraries required)* ++ `ant test` - run all tests *(libraries required)* ++ `ant javadocs` - generate Javadocs ++ `ant all` - compile source and tests files, run all tests and generate Javadocs *(libraries required)* ### How to run? FITA-View can be run by an executable sh script: