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/Pure/ROOT0.ML
author
wenzelm
Thu, 07 Apr 2016 16:53:43 +0200
changeset 62902
3c0f53eae166
parent 62890
728aa05e9433
child 62910
f37878ebba65
permissions
-rw-r--r--
more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use'; avoid slowdown of Resources.loaded_files due to command name 'use' in Pure base syntax;
Ignore whitespace changes -
Everywhere:
Within whitespace:
At end of lines:
62883
b04e9fe29223
clarified ML bootstrap;
wenzelm
parents:
diff
changeset
1
(*** Isabelle/Pure bootstrap: initial setup ***)
b04e9fe29223
clarified ML bootstrap;
wenzelm
parents:
diff
changeset
2
62902
3c0f53eae166
more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use';
wenzelm
parents:
62890
diff
changeset
3
ML_file "Concurrent/thread_data.ML";