Commits · 2cdf562ee6c7dba54783d278779dc381011c0b68 · protokollsystem / proto3

Mar 01, 2017
- More legacy, can now import every old protocol · 2cdf562e
  Robin Sonnabend authored 8 years ago
  
  2cdf562e
Feb 27, 2017
- Lazy parser, todo states, import old todo IDs · 607b9aae
  Robin Sonnabend authored 8 years ago
  
  607b9aae
Feb 26, 2017
- Printing decisions · 5ed297b0
  Robin Sonnabend authored 8 years ago
  
  5ed297b0
- Make todos internal · 403dd2d6
  Robin Sonnabend authored 8 years ago
  
  403dd2d6
Feb 25, 2017
- Protocol search · 54099ad5
  Robin Sonnabend authored 8 years ago
  
  54099ad5
- Pushing to Wiki · b3f71d25
  Robin Sonnabend authored 8 years ago
  
  b3f71d25
- Render plaintext protocol version · a84e567c
  Robin Sonnabend authored 8 years ago
  
  a84e567c
- Render todos in tex protocol · 1f17afaa
  Robin Sonnabend authored 8 years ago
  
  1f17afaa
Feb 24, 2017
- Internal protocol · b4e667c7
  Robin Sonnabend authored 8 years ago
  
  b4e667c7
Feb 23, 2017
- The compiled document looks fine · d558fb90
  Robin Sonnabend authored 8 years ago
  
  d558fb90
- Compiling the latex version works · 72e8a882
  Robin Sonnabend authored 8 years ago
  
  72e8a882
Feb 22, 2017
- Pull from etherpad · 2ba18b3f
  Robin Sonnabend authored 8 years ago
  
  2ba18b3f
- Data structure and integrated parsing · b5e133fc
  Robin Sonnabend authored 8 years ago
  
  b5e133fc
Sep 03, 2016
- Better error messages for some errors in parser · 7fbe71df
  Robin Sonnabend authored 8 years ago
  
  7fbe71df
- Small changes on the parser · 2eb49f03
  Robin Sonnabend authored 8 years ago
  
  2eb49f03
Jul 18, 2016
- Implemented parser · ca7b1cf3
  Robin Sonnabend authored 8 years ago
  
  ca7b1cf3