Andreas Mülder 1300c54545 Merge pull request #920 from Yakindu/issue_#918_transit_sequence преди 9 години
..
.externalToolBuilders d33c96be24 Documentation builder should run only after changes in the "src" and "css" subdirectories. (#774) преди 9 години
.settings 2994b9b1e7 Documentation styling harmonized (issue #782) (#805) преди 9 години
META-INF 953ccd7b69 Updated version to 2.7.1 преди 9 години
css 6b4f4113d7 Documentation: Minor CSS tweaks for "Edit on GitHub" преди 9 години
examples 3cf8e892aa Intermediate results преди 9 години
externals 95d8362a07 Documentation: wikitext version updated преди 9 години
image-tools 34e6cba024 Documentation on stages and transitions ready for review преди 9 години
model ce7ee5c09c User documentation: amendmend added преди 9 години
src 1300c54545 Merge pull request #920 from Yakindu/issue_#918_transit_sequence преди 9 години
.gitignore a15e7619db Documentation: regression from earlier merging problems resolved. преди 9 години
.project 7b7ba908f5 Documentation: fine-tuning for Ant builder преди 9 години
build.properties 27850ec097 Documentation: Textile sources no longer need to be bundled. преди 9 години
build.xml 3ed5341bae Section numbering in Eclipsehelp added. преди 9 години
build2.xml aad475f937 restored previous build file преди 9 години
contexts.xml 8fe5af9751 Added missing help context definition for sctunit. преди 9 години
plugin.xml 2994b9b1e7 Documentation styling harmonized (issue #782) (#805) преди 9 години
pom.xml 953ccd7b69 Updated version to 2.7.1 преди 9 години
toc.xml 2994b9b1e7 Documentation styling harmonized (issue #782) (#805) преди 9 години