Mercurial Mercurial > hg > tm / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -14 +14 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 01 Apr 2013 21:38:53 +0100 added paper by Kozen on Hoare-logics and Kleene algebras
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Apr 2013 21:38:53 +0100] rev 235
added paper by Kozen on Hoare-logics and Kleene algebras
Mon, 01 Apr 2013 18:15:00 +0100 fixed counterexample according to def in Chap 8
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Apr 2013 18:15:00 +0100] rev 234
fixed counterexample according to def in Chap 8
Fri, 29 Mar 2013 02:40:38 +0000 changed the introduction adn cited Zammit
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Mar 2013 02:40:38 +0000] rev 233
changed the introduction adn cited Zammit
Fri, 29 Mar 2013 01:36:45 +0000 updated according to comments from reviewers
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Mar 2013 01:36:45 +0000] rev 232
updated according to comments from reviewers
Wed, 27 Mar 2013 13:24:41 +0000 tunded
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Mar 2013 13:24:41 +0000] rev 231
tunded
Wed, 27 Mar 2013 13:16:37 +0000 adapted paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Mar 2013 13:16:37 +0000] rev 230
adapted paper
Wed, 27 Mar 2013 09:47:02 +0000 much simplified version of Recursive.thy
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Mar 2013 09:47:02 +0000] rev 229
much simplified version of Recursive.thy
Thu, 14 Mar 2013 20:43:43 +0000 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 20:43:43 +0000] rev 228
tuned
Thu, 14 Mar 2013 19:18:39 +0000 tuned scala examples
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 19:18:39 +0000] rev 227
tuned scala examples
Thu, 14 Mar 2013 19:03:05 +0000 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 19:03:05 +0000] rev 226
tuned
Thu, 14 Mar 2013 18:46:34 +0000 added an abacus to javabyte code compiler
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 18:46:34 +0000] rev 225
added an abacus to javabyte code compiler
Thu, 14 Mar 2013 18:24:06 +0000 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 18:24:06 +0000] rev 224
tuned
Thu, 14 Mar 2013 18:02:26 +0000 added a stimes_ac lemma for Xingyuan
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 18:02:26 +0000] rev 223
added a stimes_ac lemma for Xingyuan
Tue, 12 Mar 2013 15:03:23 +0000 better printing of register programs in Scala
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 12 Mar 2013 15:03:23 +0000] rev 222
better printing of register programs in Scala
(0) -100 -14 +14 tip
tm