tm: File revisions

Mercurial Mercurial > hg > tm / file revisions

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

Paper/Paper.thy

2013-09-03	Christian Urban	soem changes	file \| diff \| annotate
2013-04-24	Christian Urban	updated	file \| diff \| annotate
2013-04-22	Christian Urban	updated and small modification	file \| diff \| annotate
2013-04-05	Christian Urban	polished the intro	file \| diff \| annotate
2013-04-01	Christian Urban	fixed counterexample according to def in Chap 8	file \| diff \| annotate
2013-03-29	Christian Urban	changed the introduction adn cited Zammit	file \| diff \| annotate
2013-03-29	Christian Urban	updated according to comments from reviewers	file \| diff \| annotate
2013-03-27	Christian Urban	tunded	file \| diff \| annotate
2013-03-27	Christian Urban	adapted paper	file \| diff \| annotate
2013-03-07	Christian Urban	tuned conclusion	file \| diff \| annotate
2013-03-07	Christian Urban	small typo in the paper	file \| diff \| annotate
2013-03-06	Christian Urban	added a comment about deeply embedding of recursive functions	file \| diff \| annotate
2013-02-27	Christian Urban	added a coment about partial_function	file \| diff \| annotate
2013-02-26	Christian Urban	tuned some files	file \| diff \| annotate
2013-02-22	Christian Urban	updated Scala files	file \| diff \| annotate
2013-02-21	Christian Urban	renamed sete definition to adjust and old special case of adjust to adjust0	file \| diff \| annotate
2013-02-19	Christian Urban	polished some typos in the paper	file \| diff \| annotate
2013-02-19	Christian Urban	added link and comment to fourth edition of Boolos	file \| diff \| annotate
2013-02-19	Christian Urban	added clear-definition to paper	file \| diff \| annotate
2013-02-14	Christian Urban	typo in the paper	file \| diff \| annotate
2013-02-14	Christian Urban	updated some files	file \| diff \| annotate
2013-02-13	Christian Urban	tuned	file \| diff \| annotate
2013-02-10	Christian Urban	fixed compilation of paper and typo	file \| diff \| annotate
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate

less more (0) -100 -50 -24 tip

tm