diff options
Diffstat (limited to 'demos')
| -rw-r--r-- | demos/index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/demos/index.html b/demos/index.html index 63647693a..8e8412caa 100644 --- a/demos/index.html +++ b/demos/index.html @@ -14,7 +14,12 @@ Phrasebook</a> <p> <strong>NEW</strong> +<a href="http://www.grammaticalframework.org:41297/syllogism/syllogism.html">Online syllogism solver</a> +<!-- +<p> +<strong>NEW</strong> <a href="TransQuiz/">Translation Quiz</a> +--> <P> <A HREF="http://www.grammaticalframework.org:41296/minibar/minibar.html">Minibar |