Mercurial Mercurial > hg > tm2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 12 Sep 2014 00:41:17 +0800 good
changeset
ibm-PC\ibm <xingyuanzhang@126.com> [Fri, 12 Sep 2014 00:41:17 +0800] rev 23
good
Fri, 30 May 2014 12:05:57 +0100 merged
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 30 May 2014 12:05:57 +0100] rev 22
merged
Tue, 20 May 2014 20:21:29 +0800 test if can write
changeset
wuc [Tue, 20 May 2014 20:21:29 +0800] rev 21
test if can write
Fri, 30 May 2014 12:04:49 +0100 soem more work
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 30 May 2014 12:04:49 +0100] rev 20
soem more work
Tue, 29 Apr 2014 15:26:48 +0100 added FMap theory and adapted tm-theory
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 29 Apr 2014 15:26:48 +0100] rev 19
added FMap theory and adapted tm-theory
Fri, 04 Apr 2014 13:15:07 +0100 deleted AList theory, which is not necessary
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 04 Apr 2014 13:15:07 +0100] rev 18
deleted AList theory, which is not necessary
Thu, 03 Apr 2014 15:28:01 +0100 added a version using finfuns
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Apr 2014 15:28:01 +0100] rev 17
added a version using finfuns
Thu, 03 Apr 2014 14:02:58 +0100 added an attempt to change TMs to use FinFuns.
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Apr 2014 14:02:58 +0100] rev 16
added an attempt to change TMs to use FinFuns.
Thu, 03 Apr 2014 12:55:43 +0100 recursive function theories / UF_rec still need coding of tapes and programs
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Apr 2014 12:55:43 +0100] rev 15
recursive function theories / UF_rec still need coding of tapes and programs
Thu, 03 Apr 2014 12:47:07 +0100 some comments
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Apr 2014 12:47:07 +0100] rev 14
some comments
Thu, 27 Mar 2014 15:12:33 +0000 added some comments
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 27 Mar 2014 15:12:33 +0000] rev 13
added some comments
Thu, 27 Mar 2014 13:06:27 +0000 some minor changes
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 27 Mar 2014 13:06:27 +0000] rev 12
some minor changes
Thu, 27 Mar 2014 11:50:37 +0000 moved some lemmas
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 27 Mar 2014 11:50:37 +0000] rev 11
moved some lemmas
Tue, 25 Mar 2014 11:20:36 +0000 added a stub for a paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 25 Mar 2014 11:20:36 +0000] rev 10
added a stub for a paper
Mon, 24 Mar 2014 12:15:55 +0000 small modifications
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 24 Mar 2014 12:15:55 +0000] rev 9
small modifications
Mon, 24 Mar 2014 11:39:39 +0000 some small modifications
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 24 Mar 2014 11:39:39 +0000] rev 8
some small modifications
Fri, 21 Mar 2014 15:10:13 +0000 added files to ROOT
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Mar 2014 15:10:13 +0000] rev 7
added files to ROOT
Fri, 21 Mar 2014 15:07:59 +0000 updated various files to Isabelle-2013-2
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Mar 2014 15:07:59 +0000] rev 6
updated various files to Isabelle-2013-2
Fri, 21 Mar 2014 13:49:20 +0000 minor changes
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Mar 2014 13:49:20 +0000] rev 5
minor changes
Fri, 21 Mar 2014 21:40:51 +0800 A new file
changeset
ibm@ibm-PC [Fri, 21 Mar 2014 21:40:51 +0800] rev 4
A new file
Wed, 19 Mar 2014 00:00:28 +0000 some tiny changes (does not affect anything else)
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 19 Mar 2014 00:00:28 +0000] rev 3
some tiny changes (does not affect anything else)
Thu, 13 Mar 2014 20:06:29 +0000 added original Separation_Algebra theory
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 13 Mar 2014 20:06:29 +0000] rev 2
added original Separation_Algebra theory
Thu, 06 Mar 2014 15:28:20 +0000 version for Isabelle 2013-2
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 06 Mar 2014 15:28:20 +0000] rev 1
version for Isabelle 2013-2
Thu, 06 Mar 2014 13:28:38 +0000 initial commit for Isabelle 2013-1
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 06 Mar 2014 13:28:38 +0000] rev 0
initial commit for Isabelle 2013-1
(0) tip
tm2