Diffusion Isabelle 2e7211754ef1

tool to build Isabelle component for PostgreSQL JDBC;
2e7211754ef1
Actions

Tags

None

Subscribers

None

Description

tool to build Isabelle component for PostgreSQL JDBC;

Details

Provenance

Authored on

Parents

rISABELLE2456721602b2: clarified goal structure with proper instantiation of main goal, to support…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2e7211754ef1: tool to build Isabelle component for PostgreSQL JDBC;.Sep 7 2022, 11:15 AM

Changes (6)

Path

Size

etc/

build_postgresql.scala

System/

isabelle_tool.scala

rISABELLE2e7211754ef1

etc/build.props

Loading...

src/Pure/Admin/build_postgresql.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...