[isabelle] Open pdf files from Isabelle File Browser
One can open pdf files from theory files by CONTROL-mouse-click (Linux,
Windows), which does not work from the Isabelle File Browser. Is there
another key combination for this?
This archive was generated by a fusion of
Pipermail (Mailman edition) and