Changes for page TuCSoN
From version 29.1
edited by Andrea Omicini
on 03/11/2021 22:11
on 03/11/2021 22:11
Change comment:
There is no comment for this version
To version 32.1
edited by Andrea Omicini
on 03/11/2021 22:29
on 03/11/2021 22:29
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -3,7 +3,7 @@ 3 3 {{/velocity}} 4 4 >Getting Started 5 5 6 -* Download tucson.jar archive from the [[Re seases>>https://github.com/TuCSoN-Coord/TuCSoN/releases]] page on its [[GitHub repository>>https://github.com/TuCSoN-Coord/TuCSoN/]]6 +* Download tucson.jar archive from the [[Releases>>https://github.com/TuCSoN-Coord/TuCSoN/releases]] page on its [[GitHub repository>>https://github.com/TuCSoN-Coord/TuCSoN/]] 7 7 * Download the libraries it depends on: 8 8 ** {{tuprolog/}} — from its [[Download>>Tuprolog.Download]] section //(2p.jar)// 9 9 * Open a command prompt in the folder where you put the two jars above, then type ... ... @@ -13,5 +13,4 @@ 13 13 {{code language="bash"}}java -cp tucson.jar;2p.jar alice.tucson.service.TucsonNodeService{{/code}} 14 14 * The {{tucson/}} ASCII logo should appear on the command prompt, as depicted below 15 15 ** [[image:TuCSoN-boot.jpeg]] 16 - 17 -{{include document="TuCSoN.Enviroment"/}} 16 +{{include reference="Environment"/}}