6 Commits

Author	SHA1	Message	Date
aarne	c69cfe7a50	added and editor function allMetas showing all meta positions and their types	2008-12-10 14:20:52 +00:00
aarne	e0600ad248	documentation in the Editor files	2008-12-10 13:22:54 +00:00
aarne	c6a8477106	fix in Editor	2008-12-10 12:13:01 +00:00
aarne	f2271374ea	parsing in the toy editor	2008-12-09 23:05:32 +00:00
aarne	485ad4ff80	Editor with some commands, using PGF API, with demo shell in exper/EditShell; still buggy	2008-12-09 14:52:12 +00:00
aarne	dd691347f8	started PGF editor	2008-12-08 17:15:36 +00:00