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.
doc-src/TutorialI/readers
author blanchet
Tue, 17 Feb 2009 14:01:54 +0100
changeset 29956 62f931b257b7
parent 11243 a9d4f354aba2
permissions -rw-r--r--
Reintroduce set_interpreter for Collect and op :. I removed them by accident when removing old code that dealt with the "set" type. Incidentally, there is still some broken "set" code in Refute that should be fixed (see TODO in refute.ML).
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11210
33300d16a63a *** empty log message ***
nipkow
parents:
diff changeset 
     1
 
By chapter:
33300d16a63a *** empty log message ***
nipkow
parents:
diff changeset 
     2
 







11212






d06fb91f22da
*** empty log message ***



paulson


parents: 
11210

diff
changeset




     3


chapters 1 and 2, maybe 3: Peter White








11216






279004936bb0
*** empty log message ***



nipkow


parents: 
11212

diff
changeset




     4


chapters 6, 7 and 8: David von Oheim













279004936bb0
*** empty log message ***



nipkow


parents: 
11212

diff
changeset




     5


chapter 6, maybe 8: Gerwin Klein








11226





paulson


parents: 
11216

diff
changeset




     6


chapters 3, maybe 4: Tanja Vos








11243






a9d4f354aba2
*** empty log message ***



paulson


parents: 
11226

diff
changeset




     7


chapters 1-3 at least: Stefano Bistarelli















isabelle