Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit a46a925

Browse files
committed
cleanups
1 parent 677b6cc commit a46a925

File tree

3 files changed

+4
-5
lines changed

3 files changed

+4
-5
lines changed

index.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,9 @@ sidebar: learnlib
55
navbar-group: "Projects"
66
---
77

8-
## Learnlib
8+
## LearnLib
99

10-
LearnLib is a free and open source ([Apache License 2.0](https://www.apache.org/licenses/LICENSE-2.0)) Java framework for automata learning.
10+
LearnLib is a free and open-source ([Apache License 2.0](https://www.apache.org/licenses/LICENSE-2.0)) Java framework for automata learning.
1111
It is mainly being developed at [TU Dortmund University, Germany](https://cs.tu-dortmund.de/).
1212
20 years of research in the field of automated learning as well as our experience in engineering software have gone into the development of LearnLib.
1313

pages/contact.md

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,7 @@ title: "Contact"
55

66
## Contact
77

8-
This site is administrated by the [Chair of Programming Systems](http://ls5-www.cs.tu-dortmund.de/) of [TU Dortmund University](http://www.tu-dortmund.de/), Dortmund, Germany.
9-
See the [contact information page](http://ls5-www.cs.tu-dortmund.de/cms/en/contact/index.shtml) on the Chair of Programming Systems' web site for postal address and phone number.
8+
This site is administrated by the [Chair of Programming Systems](https://ps.cs.tu-dortmund.de/) of [TU Dortmund University](http://www.tu-dortmund.de/), Dortmund, Germany.
109

1110
For general questions and discussions about LearnLib, we encourage you to use our [discussions page](https://github.com/LearnLib/learnlib/discussions).
1211
For any inquiries you deem not suitable for a public audience, please send an e-mail to [info(at)learnlib.de](mailto:info(at)learnlib.de).

pages/version-history.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ navbar-group: "Resources"
88

99
### Main releases
1010

11-
In the following table you find the latest three releases of LearnLib.
11+
In the following table you find the latest releases of LearnLib.
1212
All releases can be accessed via the [GitHub releases](https://github.com/LearnLib/learnlib/releases) page or
1313
via [Maven Central](http://search.maven.org/#search%7Cgav%7C1%7Cg%3A%22de.learnlib.distribution%22%20AND%20a%3A%22learnlib-distribution%22).
1414

0 commit comments

Comments
 (0)