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.
FIXME-TODO
changeset 515 b00a9b58264d
parent 514 6b3be083229c
child 522 6b77cfd508e9
equal deleted inserted replaced
514:6b3be083229c 515:b00a9b58264d 
    37 
    37 
    38 - use lower-case letters where appropriate in order
 
    38 - use lower-case letters where appropriate in order
 
    39   to make Markus happy
 
    39   to make Markus happy
 
    40 
    40 
    41 - add tests for adding theorems to the various thm lists
 
    41 - add tests for adding theorems to the various thm lists
 
       
    42 
       
    43 
       
    44 
       
    45 - Integrate RSP/PRS lemmas in QuotList with the ones from IntEx etc.
nominal2