[Demexp-dev] Isa's client code now in CVS

[David MENTRE]

Hello,

Thanks to d2, Isa's code is now in CVS on savannah. Once the code has
compiled, you can launch the binary lablgtk-clnt/demexp-labgtk-clnt.

The compilation also produced the internal doc:
   lablgtk-clnt/demexp-labgtk-clnt-book.dvi 

d2, I have changed the files .ml you sended to me into .ml.nw (noweb
files). If you plan further work on Isa's code, please start from those
files. You can have a look at srv/*.ml files to see how one can write
internal documentation for code. The noweb syntax is just LaTeX + 3
additions. 

For editing .nw files, I have put this in my .emacs:
;; **start**

;; To have noweb mode automatically
(setq auto-mode-alist
      (append '(("\\.pamphlet$"  . noweb-mode)
                ) auto-mode-alist))

                                        ; many thanks to Hubert Canon 
<address@hidden> for this code
(add-hook 'noweb-mode-hook 'my-noweb-set-mode-code)
(defun my-noweb-set-mode-code ()
  (let* ((filename (file-name-nondirectory buffer-file-name))
         (mode (cond ((string-match "^Makefile" filename) 'makefile-mode)
                     ((string-match "\\.lisp\\.pamphlet" filename) 'lisp-mode)
                     ((string-match "\\.lsp\\.pamphlet" filename) 'lisp-mode)
                     ((string-match "\\.clisp\\.pamphlet" filename) 'lisp-mode)
                     ((string-match "\\.c\\.pamphlet" filename) 'c-mode)
                     ((string-match "\\.h\\.pamphlet" filename) 'c-mode)
                     ((string-match "\\.ml\\.nw" filename) 'caml-mode)
                     ((string-match "\\.c\\.nw" filename) 'c-mode)
                     (t 'fundamental-mode))))
    (noweb-set-code-mode mode)))


;; To avoid converting tabulations into spaces using AUC TeX mode
(setq TeX-auto-untabify nil)

;; **end**

A+,
d.
-- 
 David Mentré <address@hidden>
   http://www.linux-france.org/~dmentre/david-mentre-public-key.asc
 GnuPG key fingerprint: A7CD 7357 3EC4 1163 745B  7FD3 FB3E AD7C 2A18 BE9E