diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:47:00 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:47:00 +0000 |
commit | f282ac0c5d1f525f605cc382d6f1534ee135d9b7 (patch) | |
tree | af8a6ca1a8ff9c88e4c26b3b26b849ffa252aa6d /lib/pg-dev.el | |
parent | 3ff5ab468c2565083d95030047216bf42bc55ac2 (diff) |
Calculate token match regexp in a more complex way in an attempt to
allow for Coq token grammar.
Alter composition of strings to place characters by baseline.
Doc and menu notes about replacement functions.
Diffstat (limited to 'lib/pg-dev.el')
0 files changed, 0 insertions, 0 deletions