diff options
| -rw-r--r-- | CITATION.cff | 10 | ||||
| -rw-r--r-- | proofs/Kernel/HeapMgr.v | 2 |
2 files changed, 7 insertions, 5 deletions
diff --git a/CITATION.cff b/CITATION.cff index afcf9a43..9fa4185b 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -1,6 +1,6 @@ cff-version: 1.2.0 -title: NeKernel.org Operating System Kernel in C++ -message: The Operating System Kernel of NeKernel.org +title: Ne.org Operating System Kernel in C++ +message: The Operating System Kernel of Ne.org type: software authors: - given-names: Amlal @@ -9,11 +9,11 @@ authors: identifiers: - type: url value: 'https://nekernel.org' - description: NeKernel.org's Operating System Kernel -repository-code: 'https://github.com/ne-foss-org/nekernel' + description: Ne.org's Operating System Kernel +repository-code: 'https://github.com/ne-foss-org/kernel' url: 'https://nekernel.org' abstract: >- - This is NeKernel.org's Modular Operating System Kernel. + This is Ne.org's Modular Operating System Kernel. keywords: - kernel - operating-system diff --git a/proofs/Kernel/HeapMgr.v b/proofs/Kernel/HeapMgr.v index fe0b0923..a709888e 100644 --- a/proofs/Kernel/HeapMgr.v +++ b/proofs/Kernel/HeapMgr.v @@ -6,3 +6,5 @@ *) From Coq Require Import Logic.Classical_Prop. + + |