tm: File revisions

Mercurial Mercurial > hg > tm / file revisions

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

Paper/Paper.thy

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
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate
2013-02-07	Christian Urban	updated paper	file \| diff \| annotate

less more (0) -50 -24 tip

tm