]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f552126) | patch
1. Macros are now handled using an execption that is caught by matitacLib
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 8 Jan 2006 17:20:59 +0000 (17:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 8 Jan 2006 17:20:59 +0000 (17:20 +0000)
commit93703370bfac25b4d342278388f54cc5e27cd531
treec1da921e3f8a5b58f5541d6c41c66694aa73100btree | snapshot
parentf55212628220b454f6d8e3d0b4692ab611e5f8bdcommit | diff
1. Macros are now handled using an execption that is caught by matitacLib
   (raising an error) or matitaScript. As a result matitaScript is now simpler.
2. svn:ignore property refined for several directories in ocaml
helm/matita/matitaEngine.ml diff | blob | history
helm/matita/matitaScript.ml diff | blob | history
helm/matita/matitacLib.ml diff | blob | history
helm/ocaml/grafite_engine/grafiteEngine.ml diff | blob | history
helm/ocaml/grafite_engine/grafiteEngine.mli diff | blob | history
helm/ocaml/grafite_parser/grafiteDisambiguate.ml diff | blob | history
helm/ocaml/grafite_parser/grafiteDisambiguate.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.