[isabelle-dev] NEWS: Support for file-system path completion

Makarius makarius at sketis.net
Wed May 7 15:52:31 CEST 2014

* Support for path completion within the formal text, based on
   file-system content.

This refers to Isabelle/b2bfcd8cda80.  It is relevant e.g. for document 
antiquotation @{file} or the arguments of so-called "load commands" in the 
theory, such as 'ML_File', 'SML_File'.

The completion mechanism has become quite bloated recently, and its Scala 
sources are presently approx. 50 KB.  Hopefully it is converging now. I 
don't plan to add URL completion -- people can do that in their regular 
web browser.


More information about the isabelle-dev mailing list