]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54e4c7d) | patch
matita now includes compiling. if the file is not compiled it compiles it,
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 6 Jan 2008 22:35:53 +0000 (22:35 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 6 Jan 2008 22:35:53 +0000 (22:35 +0000)
commitb36918dbc0e6d0c70c92551e34bdc65cbfddddec
treee65978fa1a9081c3c3041224b03522c889889da7tree | snapshot
parent54e4c7dc896732bafcd907b0380d59efa0a181b7commit | diff
matita now includes compiling. if the file is not compiled it compiles it,
but if it is compiled it does not check that it may need to be rebuilt
components/library/librarian.mli diff | blob | history
matita/matitaGui.ml diff | blob | history
matita/matitaScript.ml diff | blob | history
matita/matitaScript.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.