]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a82814) | patch
- matql_interpreter_galax branch removed once and for ever
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Oct 2002 08:51:51 +0000 (08:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Oct 2002 08:51:51 +0000 (08:51 +0000)
commitb9b3b6c5a9f818019aaeac0876ce0874e7a3651d
treed27b376640c6836442bcb783c78b1c839a997ec4tree | snapshot
parent8a828144a6fe870f79603a47420d1fc3dd99071dcommit | diff
- matql_interpreter_galax branch removed once and for ever
- added the dependency to natile-galax. You need to add
  /projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib
  to your OCAMLPATH to make it compile again.
helm/ocaml/.cvsignore diff | blob | history
helm/ocaml/META.helm-mathql_interpreter.src diff | blob | history
helm/ocaml/META.helm-mathql_interpreter_galax.src [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.