2019-07-06 |
Chengsong |
changes1
|
changeset |
files
|
2019-07-05 |
Christian Urban |
proofread
|
changeset |
files
|
2019-07-05 |
Chengsong |
h
|
changeset |
files
|
2019-07-05 |
Chengsong |
comprehension
|
changeset |
files
|
2019-07-05 |
Chengsong |
some minor changes
|
changeset |
files
|
2019-07-05 |
Chengsong |
minor changes
|
changeset |
files
|
2019-07-05 |
Chengsong |
readable version
|
changeset |
files
|
2019-07-05 |
Chengsong |
just in case of some accidents from erasing my work
|
changeset |
files
|
2019-07-04 |
Chengsong |
added mkeps and pder, still have not proof read it
|
changeset |
files
|
2019-07-04 |
Chengsong |
now will compile
|
changeset |
files
|
2019-07-04 |
Chengsong |
still wont comiple hhh
|
changeset |
files
|
2019-07-04 |
Chengsong |
still will not compile
|
changeset |
files
|
2019-07-04 |
Chengsong |
will not compile, just text
|
changeset |
files
|
2019-07-04 |
Christian Urban |
proofread
|
changeset |
files
|
2019-07-04 |
Christian Urban |
spell check
|
changeset |
files
|
2019-07-03 |
Chengsong |
another changes. have written more. but havent typed them. tomorrow will continue.
|
changeset |
files
|
2019-07-03 |
Chengsong |
s?
|
changeset |
files
|
2019-07-03 |
Chengsong |
s
|
changeset |
files
|
2019-07-03 |
Chengsong |
example
|
changeset |
files
|
2019-07-03 |
Christian Urban |
proof reading
|
changeset |
files
|
2019-07-02 |
Chengsong |
changes
|
changeset |
files
|
2019-07-02 |
Chengsong |
half easy changes
|
changeset |
files
|
2019-07-02 |
Chengsong |
new changes
|
changeset |
files
|
2019-07-01 |
Chengsong |
chages
|
changeset |
files
|
2019-07-01 |
Chengsong |
psuedocode added
|
changeset |
files
|
2019-06-30 |
Chengsong |
hope works
|
changeset |
files
|
2019-06-30 |
Chengsong |
hope this works
|
changeset |
files
|
2019-06-30 |
Chengsong |
resolved i guess?
|
changeset |
files
|
2019-06-30 |
Chengsong |
made changes that are necessary for a successful push
|
changeset |
files
|
2019-06-30 |
Chengsong |
changed file name to ninems
|
changeset |
files
|
2019-06-30 |
Chengsong |
augmented the ecoop paper to make it more like a 9m report. still continuing to update.
|
changeset |
files
|
2019-06-29 |
Chengsong |
created folder for 9mth report
|
changeset |
files
|
2019-06-29 |
Chengsong |
footnote
|
changeset |
files
|
2019-06-28 |
Christian Urban |
initial version
|
changeset |
files
|
2019-06-26 |
Christian Urban |
fixed latex bug
|
changeset |
files
|
2019-06-26 |
Chengsong |
easy changes, url to misc, author info format changing, mysterious bug on line 49
|
changeset |
files
|
2019-06-26 |
Chengsong |
delete data unnecessary
|
changeset |
files
|
2019-06-26 |
Chengsong |
now correct
|
changeset |
files
|
2019-06-26 |
Chengsong |
added stackexchange url and contact details
|
changeset |
files
|
2019-06-25 |
Christian Urban |
another superflous file
|
changeset |
files
|
2019-06-25 |
Christian Urban |
deleted further generated files (including pdf)
|
changeset |
files
|
2019-06-25 |
Christian Urban |
deleted data-files and further unnecessary parts in data.sty
|
changeset |
files
|
2019-06-25 |
Chengsong |
hi
|
changeset |
files
|
2019-05-08 |
Chengsong |
new version of slides
|
changeset |
files
|
2019-05-05 |
Chengsong |
hello
|
changeset |
files
|
2019-04-13 |
Chengsong |
the property
|
changeset |
files
|
2019-04-12 |
Chengsong |
test of
|
changeset |
files
|
2019-04-10 |
Chengsong |
removed C(c) The retrieve and code in the previous version is still not correct and will crash. no prob now.
|
changeset |
files
|
2019-04-10 |
Chengsong |
The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis.
|
changeset |
files
|
2019-03-23 |
Chengsong |
exp and proof
|
changeset |
files
|
2019-03-22 |
Chengsong |
augmented version of proof sketch
|
changeset |
files
|
2019-03-21 |
Chengsong |
pf
|
changeset |
files
|
2019-03-16 |
Chengsong |
found the difference: caused by flats
|
changeset |
files
|
2019-03-16 |
Chengsong |
random test failed
|
changeset |
files
|
2019-03-16 |
Chengsong |
correctness test with enumeration
|
changeset |
files
|
2019-03-15 |
Chengsong |
:test whether bsimp(bders(r, s)) == ders_simp(r,s)
|
changeset |
files
|
2019-03-15 |
Chengsong |
removing PRED
|
changeset |
files
|
2019-03-13 |
Chengsong |
more comments
|
changeset |
files
|
2019-03-13 |
Chengsong |
i
|
changeset |
files
|
2019-03-13 |
Chengsong |
run
|
changeset |
files
|