Commits on Oct 20, 2010
  1. typo fix.

    committed Oct 20, 2010
Commits on Oct 15, 2010
  1. linking to index-ja.html.

    committed Oct 15, 2010
  2. stop using symbolic links

    GitHub pages does not work with symbolic links, so we have to use an
    HTML redirect to link to the English version.
    Since the SVG hasn't been uploaded to gh-pages for a long time, just
    delete it.
    MarkLodato committed Oct 15, 2010
  3. remove Google Analytics tracker

    I will keep the tracker in a separate branch.
    MarkLodato committed Oct 15, 2010
  4. Remove garbage.

    Munechika Sumikawa committed Oct 15, 2010
  5. add a language dropdown menu

    I wish I could have it keep the "no-svg" flag, but I don't know how to
    do this without resorting to JavaScript.
    MarkLodato committed Oct 15, 2010
  6. rename index.html to index-en.html; add symlink

    Since we now have multiple languages, rename the English language
    version index-en.html, and create a symbolic link from index.html to the
    English language version.
    MarkLodato committed Oct 15, 2010
Commits on Oct 14, 2010
  1. link to github.

    committed Oct 14, 2010
  2. link try.

    committed Oct 14, 2010
  3. url as link.

    committed Oct 14, 2010
  4. adding ref to my page.

    committed Oct 14, 2010
  5. ref to the original.

    committed Oct 14, 2010
  6. adding Japanese index.

    committed Oct 14, 2010
  7. adding Japanese README.

    committed Oct 14, 2010
Commits on May 15, 2010
  1. Use a scaling factor for all sizes

    Instead of hardcoding all the units in the styles, use \g in place of
    cm, \gLine in place of pt, and \gFont in place of \Large.  Now, it is
    easy to scale the size of the images by changing these three parameters.
    This scaling is not perfect, and you're limited to increments of the
    font size, but it's still a heck of a lot easier than adjusting all the
    dimensions manually.
    Thanks for Thomas Koch for the idea.
    MarkLodato committed May 15, 2010
  2. use cm instead of mm

    MarkLodato committed May 15, 2010
Commits on Apr 22, 2010
  1. correction a small typo

    Emmanuel Trillaud committed with MarkLodato Apr 20, 2010
Commits on Mar 11, 2010
  1. use loosely dashed lines instead of deltas

    The delta notation for cherry picking / rebasing was a little confusing
    and did not go with the rest of the diagrams.  So, instead, use loosely
    dashed lines to represent a cherry pick.  I'm still not thrilled with
    this, but I think it's an improvement.
    MarkLodato committed Mar 11, 2010
  2. add cherry-pick

    MarkLodato committed Mar 11, 2010
Commits on Mar 9, 2010
Commits on Mar 6, 2010
  1. increase image size slightly

    This makes the PNG images look much better, since the text isn't all
    ugly.  But, the images are a bit larger than I would have liked.
    MarkLodato committed Mar 6, 2010
  2. fix arrow heads for edges

    The 'edge' command does not actually create a path, so for all the cases
    where we were creating a bunch of edges, the path was actually just
    a single point.  For some reason, TikZ adds an arrowhead if the path
    style contains ->, even though no actual path was created.  That is, an
    arrowhead was created wherever the last edge started, which is very
    annoying.  So, to get around this, set the 'every edge' style to be ->,
    but not the 'line' style.
    MarkLodato committed Mar 6, 2010
  3. perform automatic detection of SVG capabilities

    We now only have a single page, and the detection of SVG vs PNG is done
    in Javascript.  The default is to display PNG, but if the scripting is
    enabled and SVG capability is detected, all of the PNG images are
    replaced by SVG.  This can be disabled by putting "no-svg" in the
    query string.  Additionally, the display of SVG images is fixed on
    Webkit (Chrome, Safari, etc.)
    Webkit supports SVG img elements (and, in fact, does not display SVG
    object elements correctly when zooming), so on these browsers we can
    just change the img's src attribute.  Firefox does not support SVG img
    elements, so we have to replace these elements with an object element of
    the same size.
    To simplify the detection of PNG images with an SVG equivalent, rename
    all of the PNGs to ".svg.png".
    Add a symlink from index-svg.html to index.html for folks with old
    MarkLodato committed Mar 6, 2010
  4. Set charset to UTF-8

    MarkLodato committed Mar 6, 2010
  5. change all <tt> tags to <code>

    <tt> has been deprecated in HTML5, so use <code> instead.  The output
    looks the same.
    MarkLodato committed Mar 6, 2010
  6. Add table of contents

    MarkLodato committed Mar 6, 2010