Mercurial
Mercurial
>
hg
>
regexp
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-100
-50
-30
+30
+50
+100
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2012-01-30
urbanc
more text
changeset
|
files
2012-01-30
urbanc
added two paragraphs to the introduction
changeset
|
files
2012-01-29
zhang
More explanations added by XY.
changeset
|
files
2012-01-27
urbanc
changed abstract, intro and IsaMakefile
changeset
|
files
2012-01-27
zhang
Newer version.
changeset
|
files
2012-01-24
urbanc
minor edit
changeset
|
files
2012-01-24
urbanc
initial version of the PIP formalisation
changeset
|
files
2011-12-26
urbanc
changed to 11 months
changeset
|
files
2011-12-22
urbanc
added a draft of the letter for Chunhan
changeset
|
files
2011-12-17
urbanc
updated urls to AFP
changeset
|
files
2011-11-20
urbanc
added slides for a talk in St Andrews
changeset
|
files
2011-11-11
urbanc
small change
changeset
|
files
2011-09-15
urbanc
set -> language
changeset
|
files
2011-09-14
urbanc
added a paper about applications
changeset
|
files
2011-09-14
urbanc
added paper that recently appeared about rexps and pegs
changeset
|
files
2011-09-14
urbanc
polished the non-regularity proof
changeset
|
files
2011-09-14
urbanc
clarified proof about non-regularity
changeset
|
files
2011-09-14
urbanc
corrected typo found by Xingyuan
changeset
|
files
2011-09-13
urbanc
small typo
changeset
|
files
2011-09-12
urbanc
a final polishing before submitting later this week
changeset
|
files
2011-09-08
urbanc
one more itteration on the paper
changeset
|
files
2011-09-07
urbanc
some more polishing and a link to Haines
changeset
|
files
2011-09-07
urbanc
typos
changeset
|
files
2011-09-07
urbanc
polished a bit the journal paper
changeset
|
files
2011-09-06
urbanc
typo
changeset
|
files
2011-09-06
urbanc
more tuning on the proposal
changeset
|
files
2011-09-06
urbanc
polished proposal
changeset
|
files
2011-09-05
urbanc
tuning on the derivatives and closures theories
changeset
|
files
2011-09-05
urbanc
added section about non-regularity
changeset
|
files
2011-09-05
urbanc
polished SUBSEQ
changeset
|
files
(0)
-100
-50
-30
+30
+50
+100
tip