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.
remove HOLCF from build script, since it no longer works
authorhuffman
Sat, 27 Nov 2010 17:14:29 -0800
changeset 40775 ed7a4eadb2f6
parent 40774 0437dbc127b3
child 40776 cce37f6d4b69
remove HOLCF from build script, since it no longer works
build file | annotate | diff | comparison | revisions 
--- a/build	Sat Nov 27 16:08:10 2010 -0800
+++ b/build	Sat Nov 27 17:14:29 2010 -0800
@@ -12,7 +12,7 @@
 
 ## global settings
 
-ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
+ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP LCF Sequents"
 
 
 ## settings
isabelle