src/Tools/isac/Doc/Lucas_Interpreter/document/bend-7-70-en.png
author wneuper <Walther.Neuper@jku.at>
Mon, 01 Jan 2024 11:31:16 +0100
changeset 60789 8fa678b678e8
parent 59827 168abe8dd1e3
permissions -rw-r--r--
Doc/Specify_Phase 4: start use antiquotations from isar-ref
     1 (binary:image/png)