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.
src/HOL/Tools/Nitpick/HISTORY
changeset 34124 c4628a1dcf75
parent 33981 ca1621556a14
child 34982 7b8c366e34a2
equal deleted inserted replaced
34123:c4988215a691 34124:c4628a1dcf75 
     1 Version 2010
 
     1 Version 2010
 
     2 
     2 
       
     3   * Added and implemented "binary_ints" and "bits" options
 
     3   * Fixed soundness bug in "destroy_constrs" optimization
 
     4   * Fixed soundness bug in "destroy_constrs" optimization
 
     4 
     5 
     5 Version 2009-1
 
     6 Version 2009-1
 
     6 
     7 
     7   * Moved into Isabelle/HOL "Main"
 
     8   * Moved into Isabelle/HOL "Main"
isabelle