Mercurial Mercurial > repos > isabelle / comparison
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.
CONTRIBUTORS
changeset 15993 99320adfbf3a
parent 15968 c4e8a6af2235
child 15994 dd9023d84f44
equal deleted inserted replaced
15992:cb02d70a2040 15993:99320adfbf3a 
     1 
     1 
     2 * May 2005: Rafal Kolanski, NICTA
 
     2 * May 2005: Rafal Kolanski, NICTA
 
     3   Substantially improved retrieval of facts from theory/proof context.
 
     3   Substantially improved retrieval of facts from theory/proof context.
 
       
     4 
       
     5 * May 2005: Florian Haftmann, TUM
 
       
     6   Several new antiquotation.
isabelle