gf-core.git/src/PGF/Editor.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 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 fix in Editor 2008-12-10T12:13:01+00:00 aarne aarne@cs.chalmers.se 2008-12-10T12:13:01+00:00 urn:sha1:efdbf69b9303fb6e1899901f735fd662d6a016e6 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 started PGF editor 2008-12-08T17:15:36+00:00 aarne aarne@cs.chalmers.se 2008-12-08T17:15:36+00:00 urn:sha1:a6097ccee650885d7146c6fbdbafa34b0297ac7e