]> matita.cs.unibo.it Git - helm.git/commit
initial support for bytecode compilation
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 2 Jul 2015 21:27:48 +0000 (21:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 2 Jul 2015 21:27:48 +0000 (21:27 +0000)
commit14803d30dc98bcb4804c629341373dbc0ec6b1ef
treea392042fd170e819f696d21225bd5f91312dbcc7
parentfec20705af4705f8eb9542aece87769b82a6a6b4
initial support for bytecode compilation
helm/software/helena/.depend.byte [new file with mode: 0644]
helm/software/helena/.depend.opt
helm/software/helena/Makefile.common