| Age | Commit message (Collapse) | Author |
|---|
|
options
|
|
|
|
|
|
|
|
|
|
|
|
Monnier.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sequence, e.g. "\\nat" instead of "\nat";
|
|
|
|
|
|
NOT FOR EMACS22. As byte position is buggy in emacs22.
|
|
|
|
|
|
|
|
|
|
|
|
+ starting the "insert as" feature.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
with c:\Program Files\blah due to space in filename. Code here needs
reworking more heavily for out-of-the-box Windows working.
|
|
|
|
|
|
|
|
added an example file in coq/
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sorting for menus).
|
|
http://proofgeneral.inf.ed.ac.uk/trac/ticket/173
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
