]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e5de7dd) | patch
- bugfix (or hack, as you wish :-) for recursive invocations problem:
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 20:06:11 +0000 (20:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 20:06:11 +0000 (20:06 +0000)
commitd8566ee98ccb6c4422720a793609c74b26079bc4
tree2adec3f33c57b15c7faa5c88c5064cd998d2a089tree | snapshot
parente5de7dd8a5252e83ba067e638a847bcdeaffde4bcommit | diff
- bugfix (or hack, as you wish :-) for recursive invocations problem:
  fork a new process to handle "/apply" requests
helm/uwobo/src/ocaml/uwobo.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.