Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update standard keyword files.
authorwenzelm
Sat, 11 Nov 2006 14:52:25 +0100
changeset 21301 8ebeab377939
parent 21300 2fbe0044edd9
child 21302 4c8f3dfc7124
Update standard keyword files.
Admin/update-keywords file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/update-keywords	Sat Nov 11 14:52:25 2006 +0100
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+#
+# $Id$
+# Author: Makarius
+#
+# DESCRIPTION: Update standard keyword files.
+
+isabelle -qe 'ProofGeneral.write_keywords "";' IOA
+isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
+isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF
isabelle