]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7cbf3e) | patch
= test2 for byte and opt
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 7 Jul 2015 15:44:51 +0000 (15:44 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 7 Jul 2015 15:44:51 +0000 (15:44 +0000)
commit849001febdebe045a1309e6c2c854e421e6e476b
treebfe454b7b83d635d4656e13351a77924c4c7fa84tree | snapshot
parente7cbf3ee4fc73e3e95f337f020186652315cf4a8commit | diff
= test2 for byte and opt
- version string management updated
helm/software/helena/Makefile diff | blob | history
helm/software/helena/src/basic_rg/brgGallina.ml diff | blob | history
helm/software/helena/src/basic_rg/brgGrafite.ml diff | blob | history
helm/software/helena/src/basic_rg/brgLP.ml diff | blob | history
helm/software/helena/src/common/options.ml diff | blob | history
helm/software/helena/src/toplevel/top.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.