108 Commits

Author	SHA1	Message	Date
aarne	a979508aa7	Restored printnames.	2003-10-08 10:09:58 +00:00
aarne	889e5a92e4	Updates for editor. Dummies for hugs.	2003-10-07 15:17:55 +00:00
aarne	719fcd09ea	Building interface to PL's parser.	2003-10-03 13:03:15 +00:00
aarne	cfe8ebc1fb	Restored read term in editor.	2003-10-03 06:31:34 +00:00
aarne	a6a7abe6f6	Marked modif place on line 414.	2003-09-25 12:01:34 +00:00
aarne	49f6288350	The new tree position annotation, and the corresponding command.	2003-09-25 11:42:20 +00:00
aarne	6e9258558a	Improvements in hte editor.	2003-09-24 14:26:35 +00:00
aarne	b1402e8bd6	Founding the newly structured GF2.0 cvs archive.	2003-09-22 13:16:55 +00:00