Documentation

The documentation for the runtime library is provided as HTML split files or as full PDF documents. The HTML split files can be view with a HTML browser. To view the PDF files a PDF reader needs to be available.

The support files archive contains the following documentation:

    05_run		# Runtime Library 
+--- 10_docu # Documentation
| +--- 00_android # User Manual Android
| +--- 01_swing # User Manual Swing
| +--- 02_reference # Language Reference
| +--- 03_interface # Programming Interface
| +--- 04_installation # Installation Guide
| +--- 05_frequent # Frequent Predicates
+--- 15_stdy # Studies
+--- 06_bench # Benchmark Results
+--- 07_compliance # Compliance Results
+--- 08_deploy # Deployment Method

The full PDF documents are located in the files called package.pdf in the above directories.

Comments