Mercurial Mercurial > hg > nominal2 / 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.
README
changeset 3204 b69c8660de14
parent 2568 8193bbaa07fe
child 3205 645ee5189bec
equal deleted inserted replaced
3203:01a13904aaa5 3204:b69c8660de14 
     1 This repository contain a new implementation of
 
     1 This repository contain a new implementation of
 
     2 Nominal Isabelle.
 
     2 Nominal Isabelle.
 
       
     3 
       
     4 Compilation of Tests
 
       
     5 ====================
 
       
     6 
       
     7 isabelle build -d . -g Tests
 
     3 
     8 
     4 
     9 
     5 Subdirectories:
 
    10 Subdirectories:
 
     6 ===============
 
    11 ===============
 
     7 
    12
nominal2