Commit Graph

52 Commits

Author SHA1 Message Date
Roberto Raggi
55936532c2 Disable the copy of SemanticEnvironment. 2010-07-19 19:24:31 +02:00
Roberto Raggi
fff4203a46 Introduced helpers to rewrite types and names.
Done-with: Erik Verbruggen
2010-07-16 11:04:52 +02:00