Skip to Content
Last modified by cmot on 2023/09/11 16:16
From version 16.1
edited by cmot
on 2014/06/10 14:47
Change comment: There is no comment for this version
To version 15.1
edited by cmot
on 2014/06/10 14:47
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -5,7 +5,7 @@
5 5  1. Enable the TCP Server in the KIELER RCA and
6 6  1. Download the [[KielerCompilerConsole>>url:http://git.rtsys.informatik.uni-kiel.de:7990/projects/KIELER/repos/semantics/browse/standalone/KielerCompiler.jar?at=1c807c15f863b699d96d97038501663608d0f2bf&raw||shape="rect"]] as a runnable Java JAR archive and run it.
7 7  
8 -In the following we give a short quick start guide and describe the details for both, the enabling of the TCP server and the possible command line calls of KiCo from the command line:
8 +In the following we describe the details for both, the enabling of the TCP server and the possible command line calls of KiCo from the console.
9 9  
10 10  
11 11  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9470944
1 +9470942
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470944/KIELER Compiler Console
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470942/KIELER Compiler Console