tm: File revisions

Mercurial Mercurial > hg > tm / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -16 tip

paper.pdf

2013-01-19	Christian Urban	added turing_hoare	file \| diff \| annotate
2013-01-19	Christian Urban	changed slightly HOARE-def	file \| diff \| annotate
2013-01-19	Christian Urban	updated before_final	file \| diff \| annotate
2013-01-18	Christian Urban	slight update	file \| diff \| annotate
2013-01-18	Christian Urban	updated turing_basic by Jian	file \| diff \| annotate
2013-01-18	Christian Urban	shortening a bit the paper and updating various things	file \| diff \| annotate
2013-01-18	Christian Urban	updated to ITP and updated directories	file \| diff \| annotate
2013-01-14	Christian Urban	added llncs	file \| diff \| annotate
2013-01-13	Christian Urban	added test about hoare triples	file \| diff \| annotate
2013-01-13	Christian Urban	updated contribution section	file \| diff \| annotate
2013-01-12	Christian Urban	added new version of uncomputable	file \| diff \| annotate
2013-01-12	Christian Urban	updated	file \| diff \| annotate
2013-01-12	Christian Urban	updated	file \| diff \| annotate
2013-01-11	Christian Urban	update	file \| diff \| annotate
2013-01-11	Christian Urban	update	file \| diff \| annotate
2013-01-11	Christian Urban	update	file \| diff \| annotate

less more (0) -16 tip

tm