Mercurial
Mercurial
>
hg
>
lexing
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-300
-100
-60
+60
+100
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2022-01-08
Chengsong
from christian
changeset
|
files
2022-01-07
Christian Urban
updated
changeset
|
files
2022-01-07
Christian Urban
deleted *.tex files from Journal - they are recreated
changeset
|
files
2022-01-07
Christian Urban
isarfied some proofs
changeset
|
files
2021-12-14
Chengsong
hi
changeset
|
files
2021-12-14
Chengsong
merged
changeset
|
files
2021-12-14
Chengsong
hi
changeset
|
files
2021-11-04
Christian Urban
small change
changeset
|
files
2021-11-04
Chengsong
ordering
changeset
|
files
2021-11-04
Christian Urban
deleted one rewrite rule
changeset
|
files
2021-11-04
Christian Urban
slightly more
changeset
|
files
2021-11-04
Christian Urban
slightly
changeset
|
files
2021-11-02
Chengsong
some more writing
changeset
|
files
2021-11-02
Chengsong
a
changeset
|
files
2021-11-01
Christian Urban
updated ROOT
changeset
|
files
2021-11-01
Chengsong
added all files in Journal folder
changeset
|
files
2021-11-01
Chengsong
added root.tex
changeset
|
files
2021-11-01
Chengsong
add
changeset
|
files
2021-11-01
Chengsong
changed a lot why just journal.pdf
changeset
|
files
2021-10-10
Chengsong
for new journal/conf paper!
changeset
|
files
2021-10-10
Christian Urban
added llncs.cls
changeset
|
files
2021-10-10
Christian Urban
updated for Isabelle 2021
changeset
|
files
2021-10-09
Christian Urban
updated
changeset
|
files
2021-02-25
Christian Urban
updated
changeset
|
files
2021-02-22
Christian Urban
updated
changeset
|
files
2020-10-24
Christian Urban
updated
changeset
|
files
2019-09-18
Christian Urban
updated
changeset
|
files
2019-09-17
Christian Urban
a bit more cleaning up
changeset
|
files
2019-09-14
Christian Urban
added "big" lemma
changeset
|
files
2019-09-13
Chengsong
lemma proved
changeset
|
files
2019-09-13
Chengsong
marked by QUESTION
changeset
|
files
2019-09-13
Chengsong
so far so good
changeset
|
files
2019-09-12
Chengsong
question
changeset
|
files
2019-09-12
Chengsong
question marked by HERE
changeset
|
files
2019-09-12
Chengsong
proof attempt
changeset
|
files
2019-09-09
Christian Urban
made lemma about AALTs_subs stronger w.r.t. flts
changeset
|
files
2019-09-07
Christian Urban
added papewr about NFA Posix submatching
changeset
|
files
2019-09-06
Christian Urban
updaed with AALTs_subs definition
changeset
|
files
2019-08-22
Chengsong
counterexample finder
changeset
|
files
2019-08-21
Christian Urban
updated with the proof of bder
changeset
|
files
2019-08-21
Christian Urban
added some lemmas about the counter example.
changeset
|
files
2019-08-20
Christian Urban
updated contains
changeset
|
files
2019-08-19
Chengsong
cst modifications
changeset
|
files
2019-08-19
Chengsong
hope it works
changeset
|
files
2019-08-19
Chengsong
bad news
changeset
|
files
2019-08-19
Christian Urban
added progress with the contains relation
changeset
|
files
2019-08-10
Christian Urban
updated
changeset
|
files
2019-08-10
Christian Urban
updated
changeset
|
files
2019-07-30
Christian Urban
snapshot
changeset
|
files
2019-07-29
Christian Urban
snapshot
changeset
|
files
2019-07-29
Christian Urban
a simple proof of big0
changeset
|
files
2019-07-29
Christian Urban
snapshot
changeset
|
files
2019-07-29
Christian Urban
snapshot
changeset
|
files
2019-07-29
Christian Urban
checkpoint
changeset
|
files
2019-07-29
Christian Urban
updated
changeset
|
files
2019-07-23
Christian Urban
proved cubic size bound for partial derivatives
changeset
|
files
2019-06-29
Christian Urban
added paper
changeset
|
files
2019-06-29
Christian Urban
added paper
changeset
|
files
2019-06-24
Christian Urban
added interesting paper
changeset
|
files
2019-06-10
Christian Urban
updated
changeset
|
files
(0)
-300
-100
-60
+60
+100
tip