../ compilation.rstFixes #2932 with better documentation.11 years ago documenting.rstAdd Vim command for declaration documentation11 years ago elaborator-reflection.rstChanged type classes in error messages and documentation to interfaces where necessary (previously forgotten)11 years ago erasure.rstSpelling in Sphinx documentation11 years ago ffi.rstAdded slightly to the C FFI reference, and corrected a code example i… (#3126)10 years ago ide-protocol.rstSpelling in Sphinx documentation11 years ago index.rstFix missing index contents11 years ago language-extensions.rstUpdates11 years ago language-features.rstChanged the '[static]' annotation to '%static', for uniformity with the rest of the language.11 years ago misc.rstUpdate documentation on C heap.11 years ago packages.rstExtend iPKG files to include metadata.10 years ago repl.rstChanged type classes in error messages and documentation to interfaces where necessary (previously forgotten)11 years ago semantic-highlighting.rstFix typos in semantic highlighting docs11 years ago syntax-guide.rstfix docs section header for anonymous functions11 years ago tactics.rstFixed reST error in docs.11 years ago uniqueness-types.rstAdd where keyword to UList and BadList in the Uniqueness Types documentation.11 years ago