../ compilation.rstSpelling in Sphinx documentation11 years ago documenting.rstAdd Vim command for declaration documentation11 years ago elaborator-reflection.rstRemove advice to import Language.Reflection.Elab11 years ago erasure.rstSpelling in Sphinx documentation11 years ago ffi.rstDocs for new record syntax11 years ago ide-protocol.rstSpelling in Sphinx documentation11 years ago index.rstFix missing index contents11 years ago language-extensions.rstUpdates11 years ago language-features.rstSpelling in Sphinx documentation11 years ago misc.rstPruning and deduplication of content in the reference documentation.11 years ago packages.rstImprovements to ipkg files for dependancies.11 years ago repl.rstReplace "metavariable" with "hole"11 years ago semantic-highlighting.rstFix typos in semantic highlighting docs11 years ago syntax-guide.rstsyntax guide: discuss modules, imports.11 years ago tactics.rstFixed reST error in docs.11 years ago uniqueness-types.rstFix links11 years ago