X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=lkcl.mdwn;h=c7f06f0d9a6a90c55371f036aa3a181dc25a985f;hb=25e5ac028738cc1fb9660649f4ae005a56d4ee9f;hp=657c3791d569994153f3c354bfe287f0ec013412;hpb=07094739d3d6305914fbf51b929f7b2f0a1f0e1e;p=libreriscv.git
diff --git a/lkcl.mdwn b/lkcl.mdwn
index 657c3791d..c7f06f0d9 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -6,20 +6,17 @@ Lead dev and Project Coordinator for Libre-SOC.
* [180nm task list](https://bugs.libre-soc.org/showdependencytree.cgi?maxdepth=1&id=383&hide_resolved=1)
* readthedocs link
*
+*
-# Status tracking
-
-move things along from one stage to the next
-
-## Priority tasks to keep an eye on
+# Priority tasks to keep an eye on
-* Power ISA Formal Proof
- EUR 6550
-* nmutil/etc Formal Proofs
- EUR 8650
* 6600 proof
EUR 5000
+# Status tracking
+
+move things along from one stage to the next
+
## Currently working on
- Project Management