4 Commits

Author	SHA1	Message	Date
aarne	1e8f17d12b	restructured some of the new GF format; modules now in place up to gfo generation	2007-12-07 20:47:58 +00:00
aarne	5d1ad0badc	new type checker type checks	2007-12-06 21:43:21 +00:00
aarne	885b5bf681	restored work on Extend and Rename	2007-12-06 12:54:15 +00:00
aarne	3d74432c54	printing new source format	2007-12-04 15:01:01 +00:00