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.
Admin/components/main
changeset 61533 a63e3f2ef47b
parent 61511 d40f906bb13f
child 61577 de7045616fc7
equal deleted inserted replaced
61532:e3984606b4b6 61533:a63e3f2ef47b 
     1 #main components for everyday use, without big impact on overall build time
 
     1 #main components for everyday use, without big impact on overall build time
 
     2 csdp-6.x
 
     2 csdp-6.x
 
     3 cvc4-1.5pre-2
 
     3 cvc4-1.5pre-3
 
     4 e-1.8
 
     4 e-1.8
 
     5 exec_process-1.0.3
 
     5 exec_process-1.0.3
 
     6 Haskabelle-2015
 
     6 Haskabelle-2015
 
     7 isabelle_fonts-20151021
 
     7 isabelle_fonts-20151021
 
     8 jdk-8u66
 
     8 jdk-8u66
isabelle