diff --git a/src/docs/asciidoc/prob_handbook.adoc b/src/docs/asciidoc/prob_handbook.adoc index 3a9141283059fc95d41394faf918e22f6840bd90..ae7dd54c780283068250d952461ae25cf26e3318 100644 --- a/src/docs/asciidoc/prob_handbook.adoc +++ b/src/docs/asciidoc/prob_handbook.adoc @@ -12,9 +12,28 @@ Jens Bendisposto;Joy Clark;Michael Leuschel :leveloffset: +1 -include::../chapter/user/00_introduction.adoc[] +[[user-introduction]] += Introduction -include::../chapter/user/65_Java_2-0_API/00_section_header.adoc[] +ProB is a graphical animator and model checker for the B method. The ProB homepage +is at https://www3.hhu.de/stups/prob/[https://www3.hhu.de/stups/prob/], +where precompiled binaries, installation instructions and documentation +are available. + +[[important-notice]] +== Important notice + +If you find a problem with ProB or this documentation please let us +know. We are happy to receive suggestions for improvements to ProB or +the documentation. More information about submitting bug reports is +available in the <<bugs,bugs section>>. You can also post +a question in our https://groups.google.com/d/forum/prob-users[prob-users group] or send +an email to mailto:Michael.Leuschel@hhu.de[Michael Leuschel]. + +[[developer-prob-java-api]] += ProB 2.0 Java API Documentation + +:leveloffset: +1 include::../chapter/user/65_Java_2-0_API/01_introduction.adoc[] @@ -36,12 +55,13 @@ include::../chapter/user/65_Java_2-0_API/09_dependencyinjection.adoc[] include::../chapter/user/65_Java_2-0_API/10_program_synthesis.adoc[] -include::../chapter/user/65_Java_2-0_API/ZZ_section_footer.adoc[] +:leveloffset: -1 -include::../chapter/user/ZZ_Appendix/00_section_header.adoc[] +[[appendix]] += Appendix -include::../chapter/user/ZZ_Appendix/A_literature.adoc[] +== Additional Literature -include::../chapter/user/ZZ_Appendix/ZZ_section_footer.adoc[] +bibliography::[] :leveloffset: -1 diff --git a/src/docs/chapter/user/00_introduction.adoc b/src/docs/chapter/user/00_introduction.adoc deleted file mode 100644 index a967270c420c50823cc59b97ac0b9d9afb221f0d..0000000000000000000000000000000000000000 --- a/src/docs/chapter/user/00_introduction.adoc +++ /dev/null @@ -1,17 +0,0 @@ -[[user-introduction]] -= Introduction - -ProB is a graphical animator and model checker for the B method. The ProB homepage -is at https://www3.hhu.de/stups/prob/[https://www3.hhu.de/stups/prob/], -where precompiled binaries, installation instructions and documentation -are available. - -[[important-notice]] -== Important notice - -If you find a problem with ProB or this documentation please let us -know. We are happy to receive suggestions for improvements to ProB or -the documentation. More information about submitting bug reports is -available in the <<bugs,bugs section>>. You can also post -a question in our https://groups.google.com/d/forum/prob-users[prob-users group] or send -an email to mailto:Michael.Leuschel@hhu.de[Michael Leuschel]. diff --git a/src/docs/chapter/user/65_Java_2-0_API/00_section_header.adoc b/src/docs/chapter/user/65_Java_2-0_API/00_section_header.adoc deleted file mode 100644 index ff8c22f7c951ff26d9d972fbed5753f2f4f831e1..0000000000000000000000000000000000000000 --- a/src/docs/chapter/user/65_Java_2-0_API/00_section_header.adoc +++ /dev/null @@ -1,4 +0,0 @@ - -[[developer-prob-java-api]] -= ProB 2.0 Java API Documentation -:leveloffset: +1 diff --git a/src/docs/chapter/user/65_Java_2-0_API/ZZ_section_footer.adoc b/src/docs/chapter/user/65_Java_2-0_API/ZZ_section_footer.adoc deleted file mode 100644 index 909c09e0cbf5ccf1b361d16ff5dcdd73c14f6a69..0000000000000000000000000000000000000000 --- a/src/docs/chapter/user/65_Java_2-0_API/ZZ_section_footer.adoc +++ /dev/null @@ -1,2 +0,0 @@ - -:leveloffset: -1 diff --git a/src/docs/chapter/user/ZZ_Appendix/00_section_header.adoc b/src/docs/chapter/user/ZZ_Appendix/00_section_header.adoc deleted file mode 100644 index b5aa2d0eeac6c6df5ad9315dfcda3e1fa4dbb8b8..0000000000000000000000000000000000000000 --- a/src/docs/chapter/user/ZZ_Appendix/00_section_header.adoc +++ /dev/null @@ -1,4 +0,0 @@ - -[[appendix]] -= Appendix -:leveloffset: +1 diff --git a/src/docs/chapter/user/ZZ_Appendix/A_literature.adoc b/src/docs/chapter/user/ZZ_Appendix/A_literature.adoc deleted file mode 100644 index a73a7344f6375079b2025d0c7b9a47fc893b28a3..0000000000000000000000000000000000000000 --- a/src/docs/chapter/user/ZZ_Appendix/A_literature.adoc +++ /dev/null @@ -1,4 +0,0 @@ - -= Additional Literature - -bibliography::[] diff --git a/src/docs/chapter/user/ZZ_Appendix/ZZ_section_footer.adoc b/src/docs/chapter/user/ZZ_Appendix/ZZ_section_footer.adoc deleted file mode 100644 index 47b3e87fa988d762de4f62225f8c99efe8f56565..0000000000000000000000000000000000000000 --- a/src/docs/chapter/user/ZZ_Appendix/ZZ_section_footer.adoc +++ /dev/null @@ -1,3 +0,0 @@ - - -:leveloffset: -1