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 -15 tip

paper.pdf

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-15	Christian Urban	split Mopup TM into a separate file	file \| diff \| annotate
2013-02-15	Christian Urban	polished naming convention	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-11	Christian Urban	updated	file \| diff \| annotate
2013-02-11	Christian Urban	took out all deadcode from abacus	file \| diff \| annotate
2013-02-10	Christian Urban	fixed compilation of paper and typo	file \| diff \| annotate
2013-02-10	Christian Urban	changed theory names to uppercase	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) -100 -15 tip

tm