]> matita.cs.unibo.it Git - helm.git/commit
- we removed a flag from the kernel status
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 14 Dec 2014 15:29:51 +0000 (15:29 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 14 Dec 2014 15:29:51 +0000 (15:29 +0000)
commit30eb28f8c35d7667b3a0052c30d2750a492fa464
treec7a6db2daa8d772b2a7ed4856c716197809dff67
parent04ffe68396b98bbf21bcd403ffba03b94eaebadc
- we removed a flag from the kernel status
- some renaming
helm/software/helena/.depend.opt
helm/software/helena/src/basic_rg/brgReduction.ml
helm/software/helena/src/basic_rg/brgReduction.mli
helm/software/helena/src/basic_rg/brgType.mli
helm/software/helena/src/basic_rg/brgUntrusted.ml
helm/software/helena/src/basic_rg/brgValidity.mli
helm/software/helena/src/common/output.ml
helm/software/helena/src/common/output.mli
helm/software/helena/src/common/status.ml