michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(emacs/lean-server): accept "BEGININFO .*" pattern

Browse source
This commit is contained in:
Soonho Kong 2014-09-02 10:36:38 -07:00
parent cec2f8e466
commit b4a80f83af
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/emacs/lean-server.el
View file

@ -41,7 +41,7 @@
;; How to read data from an async process
;; ======================================
(defconst lean-server-syntax-pattern
`((INFO ,(rx line-start "-- BEGININFO" line-end)
`((INFO ,(rx line-start "-- BEGININFO" (* not-newline) line-end)
,(rx line-start (group "-- ENDINFO") line-end))
(SET ,(rx line-start "-- BEGINSET" line-end)
,(rx line-start (group "-- ENDSET") line-end))