]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3fc33c) | patch
drg->brg translation contibued (still bugged though)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 28 Oct 2009 00:21:36 +0000 (00:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 28 Oct 2009 00:21:36 +0000 (00:21 +0000)
commitbe1700416b160f793c0368a39600b7f81bfb2e44
treea566b3fdf90c0dc95ebe2f64ed7a72b9625603f1tree | snapshot
parente3fc33cab9b7736c6475cf2c9cd7f91c5a4bd7f9commit | diff
drg->brg translation contibued (still bugged though)
helm/software/lambda-delta/.depend.opt diff | blob | history
helm/software/lambda-delta/dual_rg/drgBrg.ml diff | blob | history
helm/software/lambda-delta/toplevel/top.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.