changeset 77570 | 98b4a9902582 |
parent 77566 | 2a99fcb283ee |
child 80004 | 31ebb6be32b0 |
--- a/src/Pure/Admin/component_verit.scala Tue Mar 07 23:09:30 2023 +0100 +++ b/src/Pure/Admin/component_verit.scala Tue Mar 07 23:24:40 2023 +0100 @@ -1,4 +1,4 @@ -/* Title: Pure/Admin/component_csdp.scala +/* Title: Pure/Admin/component_verit.scala Author: Makarius Build Isabelle veriT component from official download.