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.
Fixed the spelling of AUTH_NAMES--it could not have worked before\!
authorpaulson
Tue, 22 Jul 1997 11:16:57 +0200
changeset 3540 acd60238f191
parent 3539 d4443afc8d28
child 3541 2f5ac0f047a6
Fixed the spelling of AUTH_NAMES--it could not have worked before\!
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Tue Jul 22 11:15:14 1997 +0200
+++ b/src/HOL/IsaMakefile	Tue Jul 22 11:16:57 1997 +0200
@@ -87,7 +87,8 @@
 
 ## Authentication & Security Protocols
 
-Auth_NAMES = Message Shared NS_Shared OtwayRees OtwayRees_AN OtwayRees_Bad \
+AUTH_NAMES = Message Event Shared NS_Shared \
+	     OtwayRees OtwayRees_AN OtwayRees_Bad \
 	     Recur WooLam Yahalom Yahalom2 \
 	     Public NS_Public_Bad NS_Public TLS
isabelle