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/search.ML
2005-06-02
wenzelm
header;
file
|
diff
|
annotate
2005-03-04
skalberg
Removed practically all references to Library.foldr.
file
|
diff
|
annotate
2005-03-03
skalberg
Move towards standard functions.
file
|
diff
|
annotate
2005-02-13
skalberg
Deleted Library.option type.
file
|
diff
|
annotate
2003-08-21
paulson
Change from "tracing" to "warning", as requested by David Aspinall
file
|
diff
|
annotate
2001-11-20
wenzelm
use tracing function for trace output;
file
|
diff
|
annotate
2000-07-23
wenzelm
tuned ThmHeap;
file
|
diff
|
annotate
2000-06-20
paulson
now uses the heap data structure for BEST_FIRST
file
|
diff
|
annotate
2000-01-28
oheimb
added tacticals DETERM_UNTIL and DETERM_UNTIL_SOLVED
file
|
diff
|
annotate
1998-11-25
wenzelm
replaced prs by writeln;
file
|
diff
|
annotate
1998-10-23
oheimb
added SOLVE tactical
file
|
diff
|
annotate
1998-10-20
wenzelm
QUIET_BREADTH_FIRST;
file
|
diff
|
annotate
1997-11-21
wenzelm
changed Sequence interface (now Seq, in seq.ML);
file
|
diff
|
annotate
1997-07-22
paulson
Removal of the tactical STATE
file
|
diff
|
annotate
1997-04-02
paulson
DEEPEN now takes an upper bound for terminating searches
file
|
diff
|
annotate
1997-02-21
paulson
Replaced "flat" by the Basis Library function List.concat
file
|
diff
|
annotate
1996-11-01
paulson
Replaced min by Int.min
file
|
diff
|
annotate
1996-03-18
paulson
New file containing search tacticals
file
|
diff
|
annotate
less
more
(0)
tip