[isabelle-dev] NEWS: completion for theory imports

Makarius makarius at sketis.net
Fri Oct 6 21:58:35 CEST 2017

Previous message (by thread): [isabelle-dev] Problem with ocaml nums.cma on Cygwin64
Next message (by thread): [isabelle-dev] AFP statistics
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

*** Prover IDE -- Isabelle/Scala/jEdit ***

* Completion supports theory header imports.


This refers to Isabelle/f27488f47a47.


	Makarius

Previous message (by thread): [isabelle-dev] Problem with ocaml nums.cma on Cygwin64
Next message (by thread): [isabelle-dev] AFP statistics
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list