wneuper/isa: doc-isac/README@168abe8dd1e3

doc-isac/README

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

     1 ~~/doc-isac/README

     3 Much documentation is still in theses are found at

     4 https://isac.miraheze.org/wiki/Publications_and_Theses#Refereed_Papers

     6 In March 2020 formally checked documentation started in

     7 ~~/src/Tools/isac/Doc

wneuper/isa