Jeff Burdges
|
9b471718e3
|
Minor tweaks to ui paper
|
2016-10-01 10:56:55 -04:00 |
|
Christian Grothoff
|
09d102e020
|
fix bib entries
|
2016-08-12 16:53:17 +02:00 |
|
Christian Grothoff
|
0f055c6f51
|
working on UI article
|
2016-08-12 15:53:06 +02:00 |
|
Christian Grothoff
|
d86897712d
|
restructure a bit
|
2016-08-10 17:42:10 +02:00 |
|
Christian Grothoff
|
fd319d66eb
|
misc edits based on Neal's comments
|
2016-05-15 18:30:20 +02:00 |
|
Florian Dold
|
89f21707a5
|
address reviewer's comments
|
2016-05-14 01:49:49 +02:00 |
|
Marcello Stanisci
|
339c59ba11
|
moving here wallet papers forlder
|
2016-03-21 16:41:40 +01:00 |
|