matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 31 Oct 2008 15:11:45 +0000 (15:11 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 31 Oct 2008 15:11:45 +0000 (15:11 +0000)
commit	aa9c56aecab7c7f52de13fb1af9696446bccb047
tree	a3e2a8528123fd13675f55dbb96b97e53b19aadb	tree \| snapshot
parent	78c5dec8c544c2ab9c2e19663444d50ac97e3812	commit \| diff

- New dependency for environments on the nesting depth.
- New invariant that tightly binds the list of identifiers in scope with
the list of mappings in an environment transformation map
- Second pass of the compiler finally complited

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom

helm/software/matita/contribs/assembly/compiler/ast_to_astfe.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/compiler/ast_to_astfe1.ma	[deleted file]	blob \| history
helm/software/matita/contribs/assembly/compiler/ast_tree.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/compiler/env_to_flatenv.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/compiler/env_to_flatenv1.ma	[deleted file]	blob \| history
helm/software/matita/contribs/assembly/compiler/environment.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/compiler/preast_to_ast.ma		diff \| blob \| history