├── Makefile ├── README.md ├── notetaking.tex ├── rdfref-core.sty ├── rdfref-doc.tex ├── rdfref-query.sty ├── rdfref-user.sty ├── rdfref.sty ├── theorem-ontology.tex ├── theorems-sample.tex └── tools └── schematordftex ├── handler.lua ├── pretty.lua ├── sao.rdfs ├── schematordftex.lua ├── testxml.lua ├── xml.lua └── xmlrpclib.lua /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/README.md -------------------------------------------------------------------------------- /notetaking.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/notetaking.tex -------------------------------------------------------------------------------- /rdfref-core.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/rdfref-core.sty -------------------------------------------------------------------------------- /rdfref-doc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/rdfref-doc.tex -------------------------------------------------------------------------------- /rdfref-query.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/rdfref-query.sty -------------------------------------------------------------------------------- /rdfref-user.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/rdfref-user.sty -------------------------------------------------------------------------------- /rdfref.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/rdfref.sty -------------------------------------------------------------------------------- /theorem-ontology.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/theorem-ontology.tex -------------------------------------------------------------------------------- /theorems-sample.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/theorems-sample.tex -------------------------------------------------------------------------------- /tools/schematordftex/handler.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/tools/schematordftex/handler.lua -------------------------------------------------------------------------------- /tools/schematordftex/pretty.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/tools/schematordftex/pretty.lua -------------------------------------------------------------------------------- /tools/schematordftex/sao.rdfs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/tools/schematordftex/sao.rdfs -------------------------------------------------------------------------------- /tools/schematordftex/schematordftex.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/tools/schematordftex/schematordftex.lua -------------------------------------------------------------------------------- /tools/schematordftex/testxml.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/tools/schematordftex/testxml.lua -------------------------------------------------------------------------------- /tools/schematordftex/xml.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/tools/schematordftex/xml.lua -------------------------------------------------------------------------------- /tools/schematordftex/xmlrpclib.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michal-h21/rdfref/HEAD/tools/schematordftex/xmlrpclib.lua --------------------------------------------------------------------------------