Mercurial
Mercurial
>
hg
>
tm2
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-14
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Sat, 13 Sep 2014 04:39:07 +0100
deleted *~ files
default
tip
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 13 Sep 2014 04:39:07 +0100] rev 26
deleted *~ files
Sat, 13 Sep 2014 10:07:14 +0800
thys2 added
changeset
Xingyuan Zhang <xingyuanzhang@126.com> [Sat, 13 Sep 2014 10:07:14 +0800] rev 25
thys2 added
Fri, 12 Sep 2014 00:47:15 +0800
new change
changeset
ibm-PC\ibm <xingyuanzhang@126.com> [Fri, 12 Sep 2014 00:47:15 +0800] rev 24
new change
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
(0)
-14
tip