Commits · master · OAF / PVS

06 Feb, 2019 1 commit
- no message · 9cec7861
  Florian Rabe authored Feb 06, 2019
  
  9cec7861
29 Jun, 2017 28 commits
- Merge branch 'master' of gl.kwarc.info:OAF/PVS · a3bd3b8e
  Florian Rabe authored Jun 29, 2017
  
  a3bd3b8e
- no message · 480e5db1
  Florian Rabe authored Jun 29, 2017
  
  480e5db1
- merge Merge branch 'master' of gl.kwarc.info:oaf/PVS · 8536461a
  Dennis Müller authored Jun 29, 2017
  
  8536461a
- added originally submitted pdf · c8caf1b1
  Dennis Müller authored Jun 29, 2017
  
  c8caf1b1
- no message · 38ffcb96
  Florian Rabe authored Jun 29, 2017
  
  38ffcb96
- Merge branch 'master' of gl.kwarc.info:OAF/PVS · f9a206f0
  Florian Rabe authored Jun 29, 2017
```
# Conflicts:
#	conclusion.tex
```
  f9a206f0
- no message · 64f631b9
  Florian Rabe authored Jun 29, 2017
  
  64f631b9
- proofread · d1537e32
  Dennis Müller authored Jun 29, 2017
  
  d1537e32
- proofread · 76a93b86
  Dennis Müller authored Jun 29, 2017
  
  76a93b86
- ednote · b40b997b
  Dennis Müller authored Jun 29, 2017
  
  b40b997b
- sizes table · 1c5d2256
  Michael Kohlhase authored Jun 29, 2017
  
  1c5d2256
- table · 01ff8d44
  Michael Kohlhase authored Jun 29, 2017
  
  01ff8d44
- Merge branch 'master' of gl.kwarc.info:oaf/PVS · 72f41f1e
  Michael Kohlhase authored Jun 29, 2017
  
  72f41f1e
- merge Merge branch 'master' of gl.kwarc.info:oaf/PVS · 9c721cdb
  Dennis Müller authored Jun 29, 2017
  
  9c721cdb
- added zipped sizes · f32d4642
  Dennis Müller authored Jun 29, 2017
  
  f32d4642
- making the new functionalities clearer · 76786ef3
  Michael Kohlhase authored Jun 29, 2017
  
  76786ef3
- XML-RPC request · f3cf0831
  Michael Kohlhase authored Jun 29, 2017
  
  f3cf0831
- more · 702b9e06
  Michael Kohlhase authored Jun 29, 2017
  
  702b9e06
- better explanation about interactions in the browser · 000300f8
  Michael Kohlhase authored Jun 29, 2017
  
  000300f8
- proofs in conclusion and spellcheck · 9c55d344
  Michael Kohlhase authored Jun 29, 2017
  
  9c55d344
- one comment done · 912e09ee
  Michael Kohlhase authored Jun 29, 2017
  
  912e09ee
- improved screenshot · 04211254
  Dennis Müller authored Jun 29, 2017
  
  04211254
- typos and tweaks · 3be31885
  Michael Kohlhase authored Jun 29, 2017
  
  3be31885
- update · 2aaf9661
  Michael Kohlhase authored Jun 29, 2017
  
  2aaf9661
- merge · 72e9109f
  Michael Kohlhase authored Jun 29, 2017
  
  72e9109f
- reviews/todos · 502fa3e6
  Michael Kohlhase authored Jun 29, 2017
  
  502fa3e6
- Added review form (signed) and reviews as text file · ea8811bc
  Dennis Müller authored Jun 29, 2017
  
  ea8811bc
- more · 193e1221
  Michael Kohlhase authored Jun 29, 2017
  
  193e1221
28 Jun, 2017 1 commit
- typos mostly · ad744353
  Dennis Müller authored Jun 28, 2017
  
  ad744353
14 Apr, 2017 5 commits
- no message · 4d08ef49
  Florian Rabe authored Apr 14, 2017
  
  4d08ef49
- no message · 797c455d
  Florian Rabe authored Apr 14, 2017
  
  797c455d
- no message · a88e234e
  Florian Rabe authored Apr 14, 2017
  
  a88e234e
- no message · 18a639d7
  Florian Rabe authored Apr 14, 2017
  
  18a639d7
- no message · dbcd996e
  Florian Rabe authored Apr 14, 2017
  
  dbcd996e
13 Apr, 2017 5 commits
- Made smaller PVS screenshot · 513f8044
  Sam Owre authored Apr 13, 2017
  
  513f8044
- spellcheck · f4b808c3
  Michael Kohlhase authored Apr 13, 2017
  
  f4b808c3
- more and title · 37380cb9
  Michael Kohlhase authored Apr 13, 2017
  
  37380cb9
- refitting figures · 611bd882
  Michael Kohlhase authored Apr 13, 2017
  
  611bd882
- refitting figures · 0ef305db
  Michael Kohlhase authored Apr 13, 2017
  
  0ef305db