tm: Shortlog

Mercurial Mercurial > hg > tm / shortlog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -50 -24 +24 +50 tip

2013-04-24	Christian Urban	updated	changeset \| files
2013-04-22	Christian Urban	used prime from the library	changeset \| files
2013-04-22	Christian Urban	updated and small modification	changeset \| files
2013-04-05	Christian Urban	polished the intro	changeset \| files
2013-04-01	Christian Urban	added paper by Kozen on Hoare-logics and Kleene algebras	changeset \| files
2013-04-01	Christian Urban	fixed counterexample according to def in Chap 8	changeset \| files
2013-03-29	Christian Urban	changed the introduction adn cited Zammit	changeset \| files
2013-03-29	Christian Urban	updated according to comments from reviewers	changeset \| files
2013-03-27	Christian Urban	tunded	changeset \| files
2013-03-27	Christian Urban	adapted paper	changeset \| files
2013-03-27	Christian Urban	much simplified version of Recursive.thy	changeset \| files
2013-03-14	Christian Urban	tuned	changeset \| files
2013-03-14	Christian Urban	tuned scala examples	changeset \| files
2013-03-14	Christian Urban	tuned	changeset \| files
2013-03-14	Christian Urban	added an abacus to javabyte code compiler	changeset \| files
2013-03-14	Christian Urban	tuned	changeset \| files
2013-03-14	Christian Urban	added a stimes_ac lemma for Xingyuan	changeset \| files
2013-03-12	Christian Urban	better printing of register programs in Scala	changeset \| files
2013-03-10	Christian Urban	some peephole optimisations in the scala code	changeset \| files
2013-03-08	Christian Urban	updated	changeset \| files
2013-03-08	Christian Urban	updated	changeset \| files
2013-03-07	Christian Urban	tuned conclusion	changeset \| files
2013-03-07	Christian Urban	small typo in the paper	changeset \| files
2013-03-07	Christian Urban	added definition of termination for rec_exec	changeset \| files
Loading...

(0) -100 -50 -24 +24 +50 tip

tm