path: root/etc/coq/multiple/README

New in 3.3: experimental proper handling of multiple files.
  Not expected to be robust, see comments in coq.el
  Should be improved for Coq 7, I hope!
  Test also for automatic compilation.