Bug#452340: ocaml-mode: Can't follow cross-refs to elisp source files in Emacs

2012-04-24 Thread Kevin Ryde
For emacs23 a .el must be in the same directory as the .elc to be recognised as its source code and be shown in help-mode. An easy way to do that is for the install script to symlink the .el files to the flavour directory to byte compile and then leave them there for the help system to use. (With

Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover

2012-04-24 Thread Hendrik Tews
Hi, there is a new upstream svn commit that fixes the license issues. The package contains now this latest version together with a rather long copyright file, that lists all the exceptions form the general hol light license. I have not yet created a signed tag in the repository, but I would do so