gf-core.git/src/exper/EditShell.hs, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2009-12-13T18:50:29+00:00 reorganize the directories under src, and rescue the JavaScript interpreter from deprecated 2009-12-13T18:50:29+00:00 krasimir krasimir@chalmers.se 2009-12-13T18:50:29+00:00 urn:sha1:f85232947e74ee7ef8c7b0ad2338212e7e68f1be a dialogue-like editor loop 2008-12-11T15:36:40+00:00 aarne aarne@cs.chalmers.se 2008-12-11T15:36:40+00:00 urn:sha1:bd21e6e1a0d84260de6d55d0b90bd61cfa22bf54 added and editor function allMetas showing all meta positions and their types 2008-12-10T14:20:52+00:00 aarne aarne@cs.chalmers.se 2008-12-10T14:20:52+00:00 urn:sha1:db65b6bce10b16423eb30cc986aee39e7d08fb56 documentation in the Editor files 2008-12-10T13:22:54+00:00 aarne aarne@cs.chalmers.se 2008-12-10T13:22:54+00:00 urn:sha1:a554ced10dd624c2091a3579d801a56b43b57774 parsing in the toy editor 2008-12-09T23:05:32+00:00 aarne aarne@cs.chalmers.se 2008-12-09T23:05:32+00:00 urn:sha1:5974263e95dafa55b02c1ca13f36ef2d56636e3b Editor with some commands, using PGF API, with demo shell in exper/EditShell; still buggy 2008-12-09T14:52:12+00:00 aarne aarne@cs.chalmers.se 2008-12-09T14:52:12+00:00 urn:sha1:d925bb35c1a801f0cecee753fea714e279f0ecbd