Searched +defs:old +defs:buffer (Results 1 - 4 of 4) sorted by relevance

/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
[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
[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. ...

Completed in 2309 milliseconds