Mercurial Mercurial > hg > tm / annotate
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.
document/root.bib
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Sun, 30 Dec 2012 14:58:48 +0000
changeset 7 f7896d90aa19
child 8 c216ae455c90
permissions -rw-r--r--
more
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     1
 
@article{UrbanCheneyBerghofer11,
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     2
 
  author = {C.~Urban and J.~Cheney and S.~Berghofer},
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     3
 
  title = {{M}echanizing the {M}etatheory of {LF}},
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     4
 
  journal = {ACM Transactions on Computational Logic},
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     5
 
  volume = {12},
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     6
 
  issue = {2},
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     7
 
  year = {2011},
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     8
 
  pages = {15:1--15:42}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     9
 
}
tm