Mercurial
Mercurial
>
repos
>
isabelle
/ annotate
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
changeset
|
file
|
latest
|
revisions
| annotate |
diff
|
comparison
|
raw
|
help
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Library/Sum_of_Squares/etc/settings
author
wenzelm
Sat, 08 Jan 2011 17:39:51 +0100
changeset 41474
60d091240485
parent 41308
src/HOL/Library/Sum_Of_Squares/etc/settings@9e576ec5c0dc
child 41475
fe4f0d9f9dbb
permissions
-rw-r--r--
renamed Sum_Of_Squares to Sum_of_Squares;
Ignore whitespace changes -
Everywhere:
Within whitespace:
At end of lines:
41308
9e576ec5c0dc
tuned/clarified some component settings;
wenzelm
parents:
32332
diff
changeset
1
# -*- shell-script -*- :mode=shellscript:
9e576ec5c0dc
tuned/clarified some component settings;
wenzelm
parents:
32332
diff
changeset
2
32332
bc5cec7b2be6
misc changes to SOS by Philipp Meyer:
wenzelm
parents:
diff
changeset
3
ISABELLE_SUM_OF_SQUARES="$COMPONENT"