File tree 2 files changed +4
-4
lines changed
2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -29,8 +29,8 @@ <h2 class="widget-title">AutomataLib</h2>
29
29
</ tr >
30
30
</ tbody >
31
31
</ table >
32
- < em > Also take a look at the < a href ="{% link pages/version-history.md %} "> downloads </ a > page for the binaries of the
33
- different LearnLib versions.</ em >
32
+ < em > Also take a look at the < a href ="{% link pages/version-history.md %} "> version history </ a > for additional
33
+ resources on different AutomataLib versions.</ em >
34
34
< br >
35
35
< strong > Related links</ strong >
36
36
< ul >
Original file line number Diff line number Diff line change @@ -29,8 +29,8 @@ <h2 class="widget-title">LearnLib</h2>
29
29
</ tr >
30
30
</ tbody >
31
31
</ table >
32
- < em > Also take a look at the < a href ="{% link pages/version-history.md %} "> downloads </ a > page for the
33
- binaries of the different LearnLib versions.</ em >
32
+ < em > Also take a look at the < a href ="{% link pages/version-history.md %} "> version history </ a > for additional
33
+ resources on different LearnLib versions.</ em >
34
34
< br >
35
35
< strong > Related links</ strong >
36
36
< ul >
You can’t perform that action at this time.
0 commit comments