branch scratch/shortdoc deleted (was 41297c2)

[Lars Ingebrigtsen]

larsi pushed a change to branch scratch/shortdoc.

       was  41297c2   Add some more predicates

This change permanently discards the following revisions:

  discards  41297c2   Add some more predicates
  discards  df42a9c   Rearrange some stuff
  discards  183fbae   Add numbers
  discards  6467280   Document the remaining elems
  discards  54bfea8   Start adding documentation of the shortdoc stuff
  discards  89adc91   Add some cross-cutting functions
  discards  e46cc48   Add more list functions
  discards  f402453   Fix a result
  discards  82d70d9   Rename fields
  discards  0982b24   Start pondering ways of displaying example results
  discards  10556bc   Add a way to add shortdocs from "outside"
  discards  76a3b4e   Start giving example results for non-evaled examples
  discards  c88657d   Fix some args
  discards  e5a7f6f   Protect against future functions
  discards  f26d7c3   Add some file-name and file functions
  discards  a1c5bc3   Build fix and mark more string functions as not being in 
the manual
  discards  1138316   Group sequence functions
  discards  363185d   Add sequences
  discards  9dc1ed9   Start adding a bunch of non-string things
  discards  7cca474   Tweak display
  discards  8d7481c   Build fixes
  discards  d1ff4cc   Allow headings and rearrange the strings
  discards  dc4f929   No need to have explicit results; they are computable
  discards  f8bd57c   Add more strings
  discards  fdc1dd9   Fix up faces some more
  discards  ecf56bd   Hook up to describe-function
  discards  0852155   Fix up some faces and stuff
  discards  3fa06b1   Start implementation