]> matita.cs.unibo.it Git - helm.git/commit
Just a few lines test to understand with Cezary Kalinsky how much effort is
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 20 Jan 2007 16:20:16 +0000 (16:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 20 Jan 2007 16:20:16 +0000 (16:20 +0000)
commite465656be7e67ee3c02acf12a53c8388ae384b0a
tree01ed241b1c2312ad6ea48839e0174c837c152923
parent5f94d6c85429545d90acc39a9b9fc9a2da33d567
Just a few lines test to understand with Cezary Kalinsky how much effort is
required to integrate Matita in his generic AJAX based interface.
matitawiki is an executable that reads from stdin and prints output and error on
stdout/stderr (both followed by (Char.chr 249) after each command).
All the interactive commands (thus also "undo") are not supported.
helm/software/matita/Makefile
helm/software/matita/matitaWiki.ml [new file with mode: 0644]
helm/software/matita/matitac.ml