gf-core.git/src/PGF, 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 rename #Var to __gfVar because it breaks the JavaScript editor 2009-12-13T15:29:26+00:00 krasimir krasimir@chalmers.se 2009-12-13T15:29:26+00:00 urn:sha1:d88a865faff59c98fc91556ff8700b10ee5f2df8 judgements lindef are now respected by both the parser and the linearizer 2009-12-11T17:39:18+00:00 krasimir krasimir@chalmers.se 2009-12-11T17:39:18+00:00 urn:sha1:5804db98167c118f910a3b76d42b2566ed347d51 added mkMeta and isMeta in PGF 2009-12-05T10:12:03+00:00 krasimir krasimir@chalmers.se 2009-12-05T10:12:03+00:00 urn:sha1:8798ff76f98d268ef073ad4ec16b29f845a13f38 fix the pattern matching in unStr, unInt, unDouble 2009-12-05T10:06:59+00:00 krasimir krasimir@chalmers.se 2009-12-05T10:06:59+00:00 urn:sha1:e06c7da79b7c26ca9c89bc3ca5a401dedde57fec abstracts, literals, and variables in tree visualization 2009-12-01T09:55:01+00:00 aarne aarne@chalmers.se 2009-12-01T09:55:01+00:00 urn:sha1:cec6c8ed97b006437a0dadfc1ac3650ae71c6e8a command vt -mk for displaying overload-style function names 2009-11-15T20:03:28+00:00 aarne aarne@chalmers.se 2009-11-15T20:03:28+00:00 urn:sha1:dcc2888fafb1ab1066f5faed3b5dd52bbb4a4124 questions, relatives, numerals - most of Dutch syntax soon in place 2009-11-11T20:34:09+00:00 aarne aarne@chalmers.se 2009-11-11T20:34:09+00:00 urn:sha1:6898667b3e34773fb9e98819461f7a46462b1926 expose the tree visualization via PGF API 2009-10-24T09:03:40+00:00 krasimir krasimir@chalmers.se 2009-10-24T09:03:40+00:00 urn:sha1:59172a0380cc0c9553b2146af1600bbcacde0b2a fix typo 2009-10-23T12:16:29+00:00 krasimir krasimir@chalmers.se 2009-10-23T12:16:29+00:00 urn:sha1:b8df9c92bb71fc4c136dc35ce98e524cc392c7de