Mercurial
Mercurial
>
hg
>
regexp
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-30
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Journal/Paper.thy
2011-12-17
urbanc
updated urls to AFP
file
|
diff
|
annotate
2011-11-20
urbanc
added slides for a talk in St Andrews
file
|
diff
|
annotate
2011-11-11
urbanc
small change
file
|
diff
|
annotate
2011-09-15
urbanc
set -> language
file
|
diff
|
annotate
2011-09-14
urbanc
added paper that recently appeared about rexps and pegs
file
|
diff
|
annotate
2011-09-14
urbanc
polished the non-regularity proof
file
|
diff
|
annotate
2011-09-14
urbanc
clarified proof about non-regularity
file
|
diff
|
annotate
2011-09-14
urbanc
corrected typo found by Xingyuan
file
|
diff
|
annotate
2011-09-13
urbanc
small typo
file
|
diff
|
annotate
2011-09-12
urbanc
a final polishing before submitting later this week
file
|
diff
|
annotate
2011-09-08
urbanc
one more itteration on the paper
file
|
diff
|
annotate
2011-09-07
urbanc
some more polishing and a link to Haines
file
|
diff
|
annotate
2011-09-07
urbanc
polished a bit the journal paper
file
|
diff
|
annotate
2011-09-06
urbanc
polished proposal
file
|
diff
|
annotate
2011-09-05
urbanc
added section about non-regularity
file
|
diff
|
annotate
2011-09-05
urbanc
polished SUBSEQ
file
|
diff
|
annotate
2011-09-05
urbanc
slight polishing to SUBSEQ
file
|
diff
|
annotate
2011-09-05
urbanc
slight polishing to SUBSEQ
file
|
diff
|
annotate
2011-09-05
urbanc
added section about SUBSEQ and SUPSEQ
file
|
diff
|
annotate
2011-08-26
urbanc
added a few points
file
|
diff
|
annotate
2011-08-25
urbanc
a few bits on the journal paper
file
|
diff
|
annotate
2011-08-22
urbanc
changes according to afp-submission
file
|
diff
|
annotate
2011-08-19
urbanc
added comments by Xingyuan
file
|
diff
|
annotate
2011-08-17
urbanc
added an example for non-regularity and continuation lemma (the example does not yet work)
file
|
diff
|
annotate
2011-08-17
urbanc
a little tuning
file
|
diff
|
annotate
2011-08-16
urbanc
final(?) version of the paper
file
|
diff
|
annotate
2011-08-15
urbanc
a bit more polishing
file
|
diff
|
annotate
2011-08-15
urbanc
polishing of the closure section and conclusion
file
|
diff
|
annotate
2011-08-11
urbanc
some typos
file
|
diff
|
annotate
2011-08-11
urbanc
finished section about derivatives and closure properties
file
|
diff
|
annotate
less
more
(0)
-30
tip