* 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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
