Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-300
-100
-30
-10
-1
+1
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Wed, 15 Mar 1995 10:56:39 +0100
Declares the function exit_use to behave like use but fail if
changeset
lcp [Wed, 15 Mar 1995 10:56:39 +0100] rev 955
Declares the function exit_use to behave like use but fail if errors are detected. It can be used in all Makefiles except Pure, which will write the exception handler explicitly ("exit" will have been declared already).
(0)
-300
-100
-30
-10
-1
+1
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip