Searched defs:buffer (Results 1 - 6 of 6) sorted by relevance

/hets/CSL/
H A DCSLMode.el44 (push (buffer-substring-no-properties p1 (point)) specs)
64 (push (buffer-substring-no-properties p1 (point)) specs)
67 (while (string= (buffer-substring-no-properties (point) (+ 1 (point))) ",")
72 (push (buffer-substring-no-properties p1 (point)) specs)
125 (define-key-after global-map [menu-bar enclmenu match] (cons "Match" (make-sparse-keymap)) 'kill-buffer)
159 (defun prepare-buffer (name)
160 (let ((buff (get-buffer-create name)))
161 (with-current-buffer buff (delete-region (point-min) (point-max)))
170 ; (message (concatenate 'string "asd" (buffer-file-name (current-buffer))))
[all...]
/hets/utils/el/
H A Dcasl-mode.el147 ;; font-lock-fontify-buffer handles multi-line patterns correctly,
148 ;; updating when you edit the buffer does not, since it considers
269 (defvar old-buffer nil)
276 (save-buffer nil)
277 (setq old-buffer (current-buffer))
279 (casl-hets-file-name (buffer-file-name))
280 (outbuf (get-buffer-create "*hets-run*")))
289 ;; Pop up the compilation buffer.
290 (set-buffer outbu
[all...]
H A Ddol-mode.el147 ;; font-lock-fontify-buffer handles multi-line patterns correctly,
148 ;; updating when you edit the buffer does not, since it considers
269 (defvar old-buffer nil)
276 (save-buffer nil)
277 (setq old-buffer (current-buffer))
279 (dol-hets-file-name (buffer-file-name))
280 (outbuf (get-buffer-create "*hets-run*")))
289 ;; Pop up the compilation buffer.
290 (set-buffer outbu
[all...]
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...

Completed in 1246 milliseconds