src/Tools/isac/Doc/Lucas_Interpreter/document/fun-pack-biegelinie-2.png
author |
Walther Neuper <walther.neuper@jku.at> |
|
Wed, 11 Mar 2020 15:25:52 +0100 |
changeset 59827 |
168abe8dd1e3 |
permissions |
-rw-r--r-- |
start formally checked documentation with Lucas_Interpreter
note: the text is a partial copy from the IJCAR/ThEdu'20 paper