TODO.org

Write a script to put the website in production

Fix Holide code with the double underscore thing

Find a good way to make the translations then the exportation

Fix Makefile dependencies with files generated by dkdep (all the dependencies for Coq, Matita are generated even though only dependencies for one system is needed)

Dirty hack in the Makefile to handle modules name with Openstd lib

Only Coq has been tested with Openstd lib

[#A] Implement URI a la matita as identifiers

[#A] Complete json semantics

[#A] origin of entries, as a field or in another json file

[#A] library in uris

[#C] update json schema

[#B] separate translators from logipedia

[#D] incremental build

[#C] reimplement pvs gen-top (in sttfa2pvs.ml as of

https://github.com/Deducteam/Logipedia/commit/de97ed8055b0c9995ec8b3d8557e6da5c82633c8)