Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/Pure/Isar/generic_target.ML
Fri, 27 Aug 2010 19:43:28 +0200
wenzelm
more careful treatment of context visibility flag wrt. spurious warnings;
file
|
diff
|
annotate
Thu, 26 Aug 2010 15:48:08 +0200
wenzelm
renamed Local_Theory.theory(_result) to Local_Theory.background_theory(_result) to emphasize that this belongs to the infrastructure and is rarely appropriate in user-space tools;
file
|
diff
|
annotate
Wed, 11 Aug 2010 12:24:24 +0200
haftmann
moved theory-level target operation fragements to Generic_Target; adjusted bootstrap order
file
|
diff
|
annotate
Tue, 10 Aug 2010 15:09:39 +0200
haftmann
basic renumbering
file
|
diff
|
annotate
Tue, 10 Aug 2010 14:57:58 +0200
haftmann
separated type from term parameters
file
|
diff
|
annotate
Tue, 10 Aug 2010 14:53:41 +0200
haftmann
moved extra_tfrees check for mixfix syntax to Generic_Target
file
|
diff
|
annotate
Tue, 10 Aug 2010 14:47:22 +0200
haftmann
name and argument grouping tuning
file
|
diff
|
annotate
Tue, 10 Aug 2010 14:42:30 +0200
haftmann
whitespace tuning
file
|
diff
|
annotate
Tue, 10 Aug 2010 14:15:44 +0200
haftmann
added generic_target.ML
file
|
diff
|
annotate
less
more
(0)
tip