doc/sod.sty: Forbid page breaks between description header entries.

doc/sod.sty: Make internal PDF links go to the right places.

doc/runtime.tex: Line-wrapping failure.

doc/structures.tex: Mention that the Sod examples are fictitious.

doc/structures.tex: Missing line break.

doc/concepts.tex: Fix description of C-fragment syntax.

lib/keyword.3, doc/concepts.tex: Mention performance of keyword arguments.

It's surprisingly not that bad.

lib/keyword.3: Missing word.

doc/: Fix <metasyntactic-variable>s which were missing their `@'.

lib/sod.h: Fix formatting failure.

lib/keyword.h, src/method-impl.lisp: Check user keywords first.

For better performance, check the user's specific keywords before the
magic built-in ones.

lib/keyword.h: Random commentary fixes.

lib/keyword.c, src/method-impl.lisp: Use `kw.valist' consistently.

Argh.  I had `kw.va_list' intermixed.  Settle on the version without the
underscore (because it matches `K_VALIST' better).

src/builtin.lisp: Keep the first initarg in the list.

Otherwise a superclass unexpectedly defining an initarg will cause it to
be demoted relative to other initargs.

src/builtin.lisp: Don't assume we have an initializer if there are initargs.

This caused an ugly crash with the text

class Foo: SodObject {
  [initarg = x] int x;
}

src/class-make-impl.lisp: Attach initargs in the correct order.

This is important for selecting the right slot initarg.

src/class-make-{proto,impl}.lisp: Don't make duplicate initargs.

If you set an initarg property on a slot definition which includes an
initializer then both the slot definition and the initializer act on the
initarg property and you end up with two initargs.  This isn't actually
a major problem, but it's ugly.

Add a new keyword argument to `make-sod-instance-initializer' to prevent
this from happening.

src/class-make-{proto,impl}.lisp, ...: Use &key rather than &optional.

This makes it easier to add new bells and whistles as needed.

doc/meta.tex: Use correct names for `make-sod-MUMBLE-initializer'.

src/classes.lisp: Give initargs a useful print representation.

src/parser/floc-proto.lisp, src/utilities.lisp: Move generic condition stuff.

Move the non-location-specific condition machinery from `sod-parser' to
`sod-utilities' where it makes more sense.

Also, give `my-cerror' a more sensible name (`promiscuous-cerror') now
that it needs to be exported.

src/utilities.lisp (categorize): Don't leak the ITEMS-VAR into the body.

The body forms only need the CAT-VARs, so that's all that should be
bound in their environment.

src/utilities.lisp: Convert merge candidates to presentation form on the fly.

In `inconsistent-merge-error', retain the raw list of candidates, and
the presentation function, rather than requiring the caller to convert
the candidates when constructing the condition object.  This makes the
list considerably more useful to condition handler code.

.skelrc: Fix for change to licence machinery.

src/module-proto.lisp: Fix word-wrapping in a docstring.

doc/misc.tex: Divide `Miscellaneous utilities' into subsections.

Also reorder some of the items to make things fit better.

doc/sod.sty: Allow setting the description modifier explicitly.

This is necessary if the name is also picked out explicitly.  There are
currently no uses of this facility, but it's provided for completeness's
sake.

doc/sod.sty, doc/*.tex: Support category-specific arguments.

Now description categories can accept arguments and influence labels and
indexing.  Use this to collect method specializers and report them in
the index.

doc/sod.sty: Add indirection for printing modified description names.

The previous version just printed `MOD-' in front of the description
category name.  Now:

  * there's a `\descmod/MOD' macro which should decorate an appropriate
    piece of the category name; and

  * the category name macros themselves take an argument which they
    should apply to the part of the name which should be decorated.

doc/sod.sty: Typeset method roles as keywords in descriptions.

doc/sod.sty: Handle `setf' functions and friends in a more useful way.

  * Extend the `dhead' protocol to include a new MOD argument, which is
    usually empty, but may be something like `setf' to denote a modified
    thing.

  * Include the modification (if not empty) in the label, index subitem,
    and the description headline.

This is still rather rough, but will be refined soon.

doc/sod.sty, doc/*.tex: Put optional explicit name right before synopsis.

This makes the argument order better, and also clears space at the start
of the argument list for a different optional thing.

doc/concepts.tex: Clearly distinguish between types and classes.

C++ bungles this one badly, but we can do better.

doc/concepts.tex: Explicitly define `instances' clearly.

doc/structures.tex, lib/sod-structs.3: Fix unclear language.

doc/*.tex: Delete duplicate description entries.

doc/clang.tex: Remove indexing override for `setf' function.

We'll handle them in a better way later.

doc/misc.tex: Fix copied-and-pasted section label.

doc/parsing.tex: Zap a stray `>'.

doc/clang.tex: Fix some slightly garbled text.

doc/sod.sty: Reorder description-head arguments.

This is purely an internal change, between `\parse@dhd' and `\dhead@'.

doc/sod.sty: Add commentary to help following `\parse@dhd' and friends.

Mostly just comments and newlines, but two code changes:

  * the internal steps of `\parse@dhd' have been renamed to anticipate
    future developments; and

  * `\parse@dhd@cc' has been uncurried.

doc/sod.tex: Pull index sub-items into their own paragraphs.

Items with multiple sub-items end up being quite hard to read.  It may
be necessary to do something more complicated here.

doc/sod.sty: Add `fixme' notices to the index.

STYLE: Add a big section about C style.

STYLE: Make this document cover multiple languages.

Add a language-neutral section to the top, and demote all of the Lisp
stuff by a level.

STYLE: Add more on horizontal whitespace issues.

STYLE: Expand on a couple of remarks.

doc/syntax.tex: Add property definitions to module syntax.

Currently not defined, which is a shame.

doc/syntax.tex: Add module- and class-level productions for extensions.

doc/syntax.tex: Expand on what modules are.

doc/syntax.tex: Hoist `Properties' to section level and expand.

doc/syntax.tex: Hoist `C-types' to section level.

doc/syntax.tex: Promote `Integer literals' to subsection.

For consistency.  This was just a mistake, or a half-finished edit.

doc/concepts.tex: Fix description of merging keyword argument lists.

It doesn't matter whether the applicable methods come from different
superclasses: we have to merge everything.

doc/concepts.tex: Add cross-ref to conversions in slot-access description.

doc/concepts.tex: Delete fixme-ref to direct instances.

They've been defined for ages, and this is established terminology by
now.

doc/structures.tex: Put two spaces between sentences.

doc/refintro.tex: Describe a fancy feature of the syntax notation.

doc/concepts.tex: Fix vertical space above subsections.

doc/concepts.tex: Replace prose description by a source example.

doc/concepts.tex: Fix superclass/subclass confusion.

doc/concepts.tex: Fix directed-graph terminology.

Vertex/edge are for undirected graphs; node/arc are for directed ones.

doc/*.tex: Prefer @|...| over @"..." for general typeset-as-code.

The latter is strictly for literal tokens, rather than general code.

src/pset-impl.lisp: Decode C fragments as property values.

src/pset-{proto,impl}.lisp: Move `decode-property' methods to `impl'.

Most of these don't count as part of the protocol.

src/pset-parse.lisp: Report `{' and `<' as expected tokens in errors.

For fragments and types, respectively.

src/pset-parse.lisp: Mention fragment and type expressions in docstring.

src/pset-impl.lisp: Improve boolean literal handling.

  * Allow `on' and `off'.

  * Recognize literals case-insensitively.

src/optparse.lisp: Quote literals properly.

src/module-{proto,impl}.lisp: Publish fragments properly.

Not sure why this was languishing in `module-impl.lisp'.

src/sod.asd.in: Note missing dependency of `module-proto' on `pset-proto'.

The definition of the `module' class includes a `pset' object.

STYLE: Explain how to indent lambda-lists.

src/: Improve formatting of big lambda-lists.

src/c-types-impl.lisp: Remember `signed' as a C-level synonym for `int'.

lib/keyword.h: Fix typo in commentary.

lib/Makefile: Fix bogus formatting.

doc/concepts.tex: Start work on documenting metaclasses.

doc/concepts.tex: Add class-precedence-list examples, with diagrams.

doc/concepts.tex: Mention class-slot initializers; cross-ref to metaclasses.

doc/concepts.tex: Rearrange message-sending documentation.

Replace `Vtables' stub under `C language integration' with `Sending
messages', and write some stuff.  Rename `Sending messages in C' under
`Messages and methods' to `Method entries'.

doc/concepts.tex: Fix cross-reference to compatibility section.

doc/*.tex: Use `\fixme' macro rather than `[FIXME]' in prose.

doc/concepts.tex: Missing blank line before subsection.

doc/concepts.tex: Centre the (overwide) method-combination diagram.

doc/sod.sty: Add `lit' TikZ style for literal text.

.gitignore: Ignore `makeindex' debris.

doc/: A bibliography!  With citations!

Currently this uses pieces of Nelson Beebe's computer science
bibliography directly.  At some point I'll extract the pieces I need.

src/class-make-impl.lisp (check-method-argument-lists): Fix docstring.

src/module-parse.lisp (parse-class-body): Check for duplicate superclasses.

It turns out that this is a thing that can happen.  Catch it early
rather than waiting for a less helpful message during CPL construction.

src/module-parse.lisp (parse-class-body): Refactor superclass list.

Arrange to be able to do more computation on the direct superclass
list.  No functional change for now.

src/utilities.lisp, src/class-finalize-impl.lisp: Add `find-duplicates'.

Replace the internal `check-list' function in `check-sod-class' with a
proper, if strangely shaped, utility function.

src/: Check that methods are compatible during class finalization.

This is the payoff from the previous refactoring.  Check, specifically,
that the keyword argument types among the applicable methods are
compatible.  Otherwise we only find out about this during effective-
method computation, which happens during output, and it's too late to
stop the presses.

src/: Lift keyword-argument protocol from effective methods to messages.

We're going to want to use this stuff during class finalization, before
we've made the effective methods.

This also refactors the machinery somewhat, introducing a new function
`compute-effective-method-keyword-arguments' to do the slightly fiddly
work in initializing `effective-method'.

src/class-layout-impl.lisp: Abstract out `sod-message-applicable-methods'.

We shall want this more later.

doc/sod.sty, doc/concepts.tex: Pull out common style features.

Thicker lines, stealth arrows.

doc/sod.sty: Add `\fixme' macro for making omissions more obvious.

doc/sod.tex: Number mathematical things within sections.

Maybe this should be within subsections, but that makes the numbers
awfully long.

src/package.lisp: Have `sod-user' use `sod-parser' and the `utilities'.

I'm not so sure about the utilities, but the parser machinery exports
lots of useful things such as `cerror*-with-location' which extensions
will definitely need.

src/classes.lisp: Fix docstring formatting.

Is this the last holdout of the CAPITAL symbol names?