Email Gateway (Mar 03 2025 at 18:47): Email Gateway (Mar 03 2025 at 18:47):From: Makarius <makarius@sketis.net>
On 03/03/2025 19:25, Makarius wrote:
The website https://isabelle.in.tum.de/website-Isabelle2025-RC4 provides the
usual downloads for Linux (Intel), Linux (ARM), macOS (Intel and ARM), Windows
(Intel).
For this particular version I would like to highlight the new "isabelle
find_facts_server", which should now work properly following this example from
NEWS:
isabelle find_facts_server -p 8080 -o find_facts_database_name=isabelle
open http://localhost:8080/find_facts#search?q=Hilbert
In a later release we will integrate this better into the Prover IDE. Further
note the already existing "Browse HTML Library" menu in Isabelle/jEdit, which
uses the server from the running PIDE JVM. The Find_Facts server uses the same
HTTP service when displaying the HTML library.
Thus it should always show the correct data, and work without a network
connection.
Makarius
Last updated: Apr 17 2025 at 20:22 UTC