Development

Here are instructions for setting up the development environment.

Ongoing work on ISAC's prototype confirms the interdisciplinary nature and differentiates R&D into these areas:
 * 1) Computer mathematics works on re-engineering Computer Algebra to logic-based single-stepping, on improving ISAC's mathematics-engine and, in particular, on clarifying Lucas-Interpretation.
 * 2) Usability of the front-end still concerns ISAC's proprietary Java Swing front-end, while adaption to Isabelle's front-end based on jEdit becomes more and more pressing.
 * 3) Content development is experimental still. However, experiments show a challenging combination of theory development in Isabelle, of adapting multimedia content and of course design.

Documentation is collected [[Media:Isac-docu.pdf | here]] until about 2008, further details can be found in Publications_and_Theses


 * Troubleshooting
 * Errors at Installation
 * isabelle latex
 * Notes for Java developers of Isac's front-end
 * Update MathEngine
 * Switch between different MathEngines
 * Notes on knowledge management
 * Extend ISAC Knowledge
 * Generate representations for ISAC Knowledge
 * Generate theory dependencies
 * Notes for dialog authors
 * Dialog Architecture
 * Rule-based Dialog
 * Handling of Errorpatterns
 * Notes for maths authors
 * FAQs of TP-PL programmers
 * Programming in Isabelle/HOL
 * Notes on jEdit
 * JavaToScala
 * MarcosTestJavaToScala
 * Notes for developers of the ISAC kernel
 * Deploy updated Isac Kernel
 * Update_Isabelle_version
 * Policies of repository usage
 * Policies for the test suite
 * Experiences from and hints for testing
 * Push Isac code towards Isabelle standards
 * Coding standards for SML
 * Fix kernel installation
 * How to understand Isabelle code