Commits · ae4c847cbf662439af3d0dcb4108bd87e5f46f75 · protokollsystem / proto3

Mar 23, 2017
- Set internal sections with light gray background · 82d69e4b
  Robin Sonnabend authored 8 years ago
  82d69e4b
Mar 22, 2017
- Mark internal sections in both versions · 60452dce
  Robin Sonnabend authored 8 years ago
  60452dce
Mar 21, 2017
- Mark private parts in the public protocol · 3a545ec1
  Robin Sonnabend authored 8 years ago
  3a545ec1
Mar 14, 2017
- Use correct TOP number in printed decisions · ae3ba7fb
  Robin Sonnabend authored 8 years ago
  
  ae3ba7fb
Mar 06, 2017
- Match single semi-colons as empty, not as a part of content. · 37717619
  Robin Sonnabend authored 8 years ago
  37717619
Mar 05, 2017
- Match ; as content · 075968d1
  Administrator authored 8 years ago
  
  075968d1
Mar 03, 2017
- Do not match an emptystring to content, which resulted in a infinite loop · 47ede2e6
  Administrator authored 8 years ago
  
  47ede2e6
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