regexp: Changelog

Mercurial Mercurial > hg > regexp / changelog

Mon, 15 Oct 2012 13:23:52 +0000 Some illustration added together with more explanations.

changeset

zhang [Mon, 15 Oct 2012 13:23:52 +0000] rev 371

Some illustration added together with more explanations.

Sat, 29 Sep 2012 12:38:12 +0000 Initial upload of the formal construction of Universal Turing Machine.

changeset

zhang [Sat, 29 Sep 2012 12:38:12 +0000] rev 370

Initial upload of the formal construction of Universal Turing Machine.

Thu, 30 Aug 2012 08:30:57 +0000 small change

changeset

urbanc [Thu, 30 Aug 2012 08:30:57 +0000] rev 369

small change

Wed, 29 Aug 2012 13:09:36 +0000 some addition to the MN-paper

changeset

urbanc [Wed, 29 Aug 2012 13:09:36 +0000] rev 368

some addition to the MN-paper

Wed, 29 Aug 2012 13:05:46 +0000 for slides

changeset

urbanc [Wed, 29 Aug 2012 13:05:46 +0000] rev 367

for slides

Wed, 29 Aug 2012 13:05:25 +0000 added slides for talk at Imperial

changeset

urbanc [Wed, 29 Aug 2012 13:05:25 +0000] rev 366

added slides for talk at Imperial

Mon, 13 Aug 2012 12:11:50 +0000 (none)

changeset

wu [Mon, 13 Aug 2012 12:11:50 +0000] rev 365

(none)

Mon, 13 Aug 2012 12:08:52 +0000 add comments by christian

changeset

wu [Mon, 13 Aug 2012 12:08:52 +0000] rev 364

add comments by christian

Mon, 13 Aug 2012 10:37:37 +0000 Slightly modifications.

changeset

wu [Mon, 13 Aug 2012 10:37:37 +0000] rev 363

Slightly modifications.

Fri, 10 Aug 2012 13:57:41 +0000 Slides modified

changeset

zhang [Fri, 10 Aug 2012 13:57:41 +0000] rev 362

Slides modified

Fri, 10 Aug 2012 13:54:21 +0000 IsaMakefile modified

changeset

zhang [Fri, 10 Aug 2012 13:54:21 +0000] rev 361

IsaMakefile modified

Thu, 28 Jun 2012 11:25:26 +0000 added some slides for an informal talk about PIP

changeset

urbanc [Thu, 28 Jun 2012 11:25:26 +0000] rev 360

added some slides for an informal talk about PIP

(0) -300 -100 -12 +12 tip

regexp

RSS Atom