Contents
1 To Do
2 Preface
3 Introduction
4 Overview of the MyAlps Files
 4.1 The include Subdirectory
 4.2 The src Subdirectory
 4.3 The test Subdirectory
5 Overview of ALLPROSE (Version 0.2.6)
 5.1 Features of ALLPROSE
 5.2 Deficiencies of ALLPROSE
 5.3 Future of ALLPROSE
 5.4 The Main Compilation Commands
 5.5 ALLPROSE Files
6 How to Start a New Project with ALLPROSE
7 How to Build Executables
8 How to Document the Aldor Sources
9 How to Setup all Features of ALLPROSE
 9.1 Installing GMP
 9.2 Installing ExtIO and AldorUnit
 9.3 Setup Emacs
10 How to Upgrade ALLPROSE
11 How to Document the ALLPROSE Project Itself
12 Meta-ALLPROSE
13 License
14 LATEX Style Customization
 14.1 Commands for Common MyAlps Names
15 User Customization of the Build Process
 15.1 Information about the Project
 15.2 Variants of the Libraries
 15.3 Adding New Directories
16 Common Aldor Include File for MyAlps
 16.1 Global Macros
 16.2 Support for Tracing Domain Instantiations
 16.3 Loading the MyAlps Library
17 MyVersionInformationType
18 MyPrimitiveType
19 MyCopyableType
20 MyAdditiveType
21 MyArithmeticType
22 MyBinaryPowering
23 TestMyBinaryPowering
24 The ALLPROSE LATEX Style File
 24.1 Check for allprose.tex
 24.2 Show PROJECTROOT
 24.3 Packages to Load
 24.4 Header and Footer
 24.5 Treatment of Source Files
 24.6 Treatment of Generated Files
 24.7 Shaded Code Area
 24.8 Show Exports
 24.9 Commands for Common Names
 24.10 Miscellaneous Commands
 24.11 Include User Defined Styles
 24.12 Local Modifications
 24.13 Known Styles in ALLPROSE
25 The AldorDoc LATEX Style File
 25.1 Structured Aldor Documentation
 25.2 User Interface
 25.3 Extended User Interface
 25.4 Implementation Details of aldordoc
 25.5 Aldor Pre- and Post-Description
26 Helper Script for the AldorDoc LATEX Style File
 26.1 The Special Cases
 26.2 The Top-level Translation Functions
 26.3 Translation of aldordoc Interface-Only Commands
 26.4 Translation of aldordoc Active Commands
 26.5 Split on Opening and Closing Regular Expression
 26.6 Translate ∖adname and ∖addefinename Parameters
 26.7 Escape String for Hyperref
 26.8 Escape String for Makeindex
 26.9 Escape String for LATEX
 26.10 Putting Everything Together
27 Generation of HTML Code via TeX4HT
 27.1 Background Colors in HTML
 27.2 Crosslinks in Header and Footer
 27.3 Table of Contents per Section
 27.4 ProblemFix: Disabling Links and Index Generation
 27.5 ProblemFix: ∖xnamedef
 27.6 BugFix: srcltx.4ht
 27.7 BugFix: Index
28 Top-level Makefile
 28.1 Necessary Programs
 28.2 Files and Directories
 28.3 The Default Target
 28.4 The Top-Level Targets
 28.5 The Interactive Loop
 28.6 Installation and Uninstallation
 28.7 Generation and Inclusion of Makefile.def
 28.8 Generation and Inclusion of Makefile.inc
 28.9 Documentation
 28.10 Local Customization
 28.11 Cleaning up
 28.12 Upgrading ALLPROSE
 28.13 Producing an ALLPROSE Release Distribution
 28.14 Producing a Release Distribution of the Project Files
 28.15 Debugging the ALLPROSE Building Process
29 Common Targets for All Makefiles
 29.1 External Variables
 29.2 List of Needed Programs
 29.3 Recursive Execution of Make
 29.4 Source Code Extraction
 29.5 Documentation Extraction
 29.6 Undocumented Files
 29.7 Building the Libraries
 29.8 Building Executables
30 Workaround for Noweb Bug
31 Makefile for the Directory tools
32 Makefile for the Directory include
33 Makefile for the Directory src
 33.1 Building the Project Library Variants
 33.2 Documentation Generation
 33.3 Code File Generation
 33.4 Interdependencies of the Aldor Source Files
34 TEX File Filter: Add Type Information
35 Code File Filter: Add +++ description
36 Embelish Domain Exports with Short Descriptions
37 Generation of List of .as Files
38 Compute Dependencies Between Aldor Source Files
 38.1 Extract Constructor Definitions and Uses
 38.2 Build a Dependency Graph without Extensions
 38.3 Add Extensions to the Dependency Graph
 38.4 Saturate Dependencies
 38.5 Make Minimal Dependencies
 38.6 Write Dependencies to STDOUT
39 Warn About Undocumented Files
40 Remove Non-API Text
41 Makefile for the Directory test
 41.1 Building the TestCases Library Variants
 41.2 Documentation Generation
 41.3 Code File Generation For Tests
 41.4 Interdependencies of the Aldor Source Files
 41.5 The TestSuite Executable
42 Generate the Common Include File for the Test Cases
43 Generate The TestSuite Source File
 43.1 Read Test Cases
 43.2 Write TestSuite
 43.3 test/TestSuite.as
Index
References