]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16d6d96) | patch
* [Luca] string concatenation now made using String.concat instead of
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 May 2004 15:57:23 +0000 (15:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 May 2004 15:57:23 +0000 (15:57 +0000)
commitb3fdada9a2439c2ce1320350252e330be490b2da
treef4439ac877feb4c3b7514c949e3688266e7eff52tree | snapshot
parent16d6d961a5d7db08bfdf1bccae7f36c6b2fd7fe2commit | diff
* [Luca] string concatenation now made using String.concat instead of
  List.fold_left
helm/DEVEL/rdfly/rdfly.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.