]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b267e5e) | patch
Bug fixed and code refactoring: now both matitac and matita include files
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Mar 2011 17:22:53 +0000 (17:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Mar 2011 17:22:53 +0000 (17:22 +0000)
commitd7b5af5d8c6297f191cb644034b5b4cb7dfe86c1
tree2a0fbc618ea6defc3e9bc7d391c7b58695ae3311tree | snapshot
parentb267e5e12f96cd421347af2e152d14c6325c060dcommit | diff
Bug fixed and code refactoring: now both matitac and matita include files
correctly by re-generating ~include_paths in the same way and every time a
file is opened (either by matitaScript or by assert_ng itself).
matita/matita/matitaEngine.ml diff | blob | history
matita/matita/matitaEngine.mli diff | blob | history
matita/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.