Mercurial
Mercurial
>
hg
>
regexp
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-100
-50
-24
+24
+50
+100
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Sat, 04 Feb 2012 00:14:41 +0000
slight polishing
changeset
urbanc [Sat, 04 Feb 2012 00:14:41 +0000] rev 279
slight polishing
Fri, 03 Feb 2012 11:26:11 +0000
a bit more on the introduction
changeset
urbanc [Fri, 03 Feb 2012 11:26:11 +0000] rev 278
a bit more on the introduction
Thu, 02 Feb 2012 13:58:16 +0000
slight tuning
changeset
urbanc [Thu, 02 Feb 2012 13:58:16 +0000] rev 277
slight tuning
Wed, 01 Feb 2012 17:46:36 +0000
more on intro
changeset
urbanc [Wed, 01 Feb 2012 17:46:36 +0000] rev 276
more on intro
Wed, 01 Feb 2012 17:40:00 +0000
more on intro
changeset
urbanc [Wed, 01 Feb 2012 17:40:00 +0000] rev 275
more on intro
Wed, 01 Feb 2012 15:00:17 +0000
more on intro
changeset
urbanc [Wed, 01 Feb 2012 15:00:17 +0000] rev 274
more on intro
Wed, 01 Feb 2012 12:00:37 +0000
slightly more on text
changeset
urbanc [Wed, 01 Feb 2012 12:00:37 +0000] rev 273
slightly more on text
Wed, 01 Feb 2012 08:16:00 +0000
All comments added.
changeset
zhang [Wed, 01 Feb 2012 08:16:00 +0000] rev 272
All comments added.
Mon, 30 Jan 2012 09:44:33 +0000
spell check
changeset
urbanc [Mon, 30 Jan 2012 09:44:33 +0000] rev 271
spell check
Mon, 30 Jan 2012 09:33:39 +0000
slight polishing
changeset
urbanc [Mon, 30 Jan 2012 09:33:39 +0000] rev 270
slight polishing
Mon, 30 Jan 2012 08:55:27 +0000
more text
changeset
urbanc [Mon, 30 Jan 2012 08:55:27 +0000] rev 269
more text
Mon, 30 Jan 2012 08:45:56 +0000
more text
changeset
urbanc [Mon, 30 Jan 2012 08:45:56 +0000] rev 268
more text
Mon, 30 Jan 2012 06:46:47 +0000
added two paragraphs to the introduction
changeset
urbanc [Mon, 30 Jan 2012 06:46:47 +0000] rev 267
added two paragraphs to the introduction
Sun, 29 Jan 2012 09:31:03 +0000
More explanations added by XY.
changeset
zhang [Sun, 29 Jan 2012 09:31:03 +0000] rev 266
More explanations added by XY.
Fri, 27 Jan 2012 23:19:10 +0000
changed abstract, intro and IsaMakefile
changeset
urbanc [Fri, 27 Jan 2012 23:19:10 +0000] rev 265
changed abstract, intro and IsaMakefile
Fri, 27 Jan 2012 13:50:02 +0000
Newer version.
changeset
zhang [Fri, 27 Jan 2012 13:50:02 +0000] rev 264
Newer version.
Tue, 24 Jan 2012 00:34:52 +0000
minor edit
changeset
urbanc [Tue, 24 Jan 2012 00:34:52 +0000] rev 263
minor edit
Tue, 24 Jan 2012 00:20:09 +0000
initial version of the PIP formalisation
changeset
urbanc [Tue, 24 Jan 2012 00:20:09 +0000] rev 262
initial version of the PIP formalisation
Mon, 26 Dec 2011 08:21:00 +0000
changed to 11 months
changeset
urbanc [Mon, 26 Dec 2011 08:21:00 +0000] rev 261
changed to 11 months
Thu, 22 Dec 2011 14:25:34 +0000
added a draft of the letter for Chunhan
changeset
urbanc [Thu, 22 Dec 2011 14:25:34 +0000] rev 260
added a draft of the letter for Chunhan
Sat, 17 Dec 2011 13:32:11 +0000
updated urls to AFP
changeset
urbanc [Sat, 17 Dec 2011 13:32:11 +0000] rev 259
updated urls to AFP
Sun, 20 Nov 2011 22:53:50 +0000
added slides for a talk in St Andrews
changeset
urbanc [Sun, 20 Nov 2011 22:53:50 +0000] rev 258
added slides for a talk in St Andrews
Fri, 11 Nov 2011 23:38:10 +0000
small change
changeset
urbanc [Fri, 11 Nov 2011 23:38:10 +0000] rev 257
small change
Thu, 15 Sep 2011 12:46:00 +0000
set -> language
changeset
urbanc [Thu, 15 Sep 2011 12:46:00 +0000] rev 256
set -> language
(0)
-100
-50
-24
+24
+50
+100
tip