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 20340 6afc1c133b86
parent 20067 26bac504ef90
child 21169 b6a5c98c5e38
equal deleted inserted replaced
20339:d001121600ac 20340:6afc1c133b86 
       
     1 
     1 Contributions to Isabelle
 
     2 Contributions to Isabelle
 
     2 -------------------------
 
     3 -------------------------
 
       
     4 
       
     5 * August 2006: Amine Chaieb, TUM
 
       
     6   Experimental support for generic reflection and reification in HOL.
 
     3 
     7 
     4 * July 2006: Rafal Kolanski, NICTA
 
     8 * July 2006: Rafal Kolanski, NICTA
 
     5   Hex (0xFF) and binary (0b1011) numerals.
 
     9   Hex (0xFF) and binary (0b1011) numerals.
 
     6 
    10 
     7 * May 2006: Klaus Aehlig, LMU
 
    11 * May 2006: Klaus Aehlig, LMU
isabelle