Andreas Mülder 22152c275c Updated to Java 8 8 years ago
..
.externalToolBuilders d33c96be24 Documentation builder should run only after changes in the "src" and "css" subdirectories. (#774) 9 years ago
.settings 2994b9b1e7 Documentation styling harmonized (issue #782) (#805) 9 years ago
META-INF 0c8c1e7787 incremented version qualifier to 2.9.3 (#1224) 8 years ago
css f1c5e66eb5 Documentation: Changes from YT (#1251) 8 years ago
examples 3cf8e892aa Intermediate results 9 years ago
externals 95d8362a07 Documentation: wikitext version updated 9 years ago
image-tools 34e6cba024 Documentation on stages and transitions ready for review 9 years ago
model ce7ee5c09c User documentation: amendmend added 9 years ago
src 22152c275c Updated to Java 8 8 years ago
.gitignore a15e7619db Documentation: regression from earlier merging problems resolved. 9 years ago
.project 7b7ba908f5 Documentation: fine-tuning for Ant builder 9 years ago
build.properties 27850ec097 Documentation: Textile sources no longer need to be bundled. 9 years ago
build.xml f1c5e66eb5 Documentation: Changes from YT (#1251) 8 years ago
contexts.xml 6a1cfa5762 integrate headless docu (#1108) 8 years ago
plugin.xml 6a1cfa5762 integrate headless docu (#1108) 8 years ago
pom.xml 0c8c1e7787 incremented version qualifier to 2.9.3 (#1224) 8 years ago
toc.xml 1ef9f8e074 Change order of chapters 8 years ago