(no commit message)

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 56c7fdbc11a08f7cc6784fb054b01d841709aa63..f7f9a0ceaaf7bad583faf9191ac05582fc8e8fa3 100644 (file)
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -50,7 +50,7 @@ move things along from one stage to the next
     - EUR 250, functions needed for simulator
     - Shared 20% with [[mnolan]], EUR 50
 
-#### proofs
+#### proofs 2019-10-032
 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=421> Trap proof
    - EUR 500 shared 20% samuel, EUR 100
@@ -63,8 +63,10 @@ move things along from one stage to the next
  - <https://bugs.libre-soc.org/show_bug.cgi?id=312> countzero proof
    - EUR 150
 
-### wishbone
+### wishbone 2019-10-043
 
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=460> Document 6600
+   - EUR 500
  - <https://bugs.libre-soc.org/show_bug.cgi?id=393> WB to LDST
     - EUR 300
  - <https://bugs.libre-soc.org/show_bug.cgi?id=414> DMI interface
@@ -103,11 +105,6 @@ move things along from one stage to the next
    - EUR 100
  - <https://bugs.libre-soc.org/show_bug.cgi?id=324> DIV pipe
    - EUR 1500 shared with [[programmerjake]] 1/3 (EUR 500)
-
-### Documentation
-
- - <https://bugs.libre-soc.org/show_bug.cgi?id=460> Document 6600
-   - EUR 500
  
 ## Submitted for NLNet RFP