]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe52a85) | patch
- tabs removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Jun 2003 14:59:38 +0000 (14:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Jun 2003 14:59:38 +0000 (14:59 +0000)
commit52f8a530f09b93c9d5e2c4c93464e6e73fe0e90e
treef0d23dcdb3df73f9c33d1f6326b34637c8850bc7tree | snapshot
parentfe52a851c5f11bc6974c0f3aa4db48c545b4c52ccommit | diff
- tabs removed
- "\" correctly quoted in strings
- in case of self-loops, the process diverged. Self-loops are now
  ignored during parsing.
helm/graphs/tools/simplify_deps/simplify_deps.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.