Skip to content

History / Usage Notes

Revisions

  • Add reference to Prasetya mailing list item.

    @EricGT EricGT committed Nov 14, 2012
    0315c3e

  • Add reference to Proving an implication via its converse.

    @EricGT EricGT committed Nov 14, 2012
    8166aac

  • Add note about union - find algorithm.

    @EricGT EricGT committed Nov 12, 2012
    05aa394

  • Add reference to NYU course.

    @EricGT EricGT committed Nov 12, 2012
    e80315a

  • Add reference to errata for Pelletier

    @EricGT EricGT committed Nov 9, 2012
    a2dc525

  • Add reference for "On an exercise of Tony Hoare's"

    @EricGT EricGT committed Nov 9, 2012
    74274da

  • Add reference for Pelletier problems.

    @EricGT EricGT committed Nov 7, 2012
    77945c8

  • spelling

    @EricGT EricGT committed Oct 13, 2012
    e08be07

  • Remove extra line.

    @EricGT EricGT committed Oct 13, 2012
    0420601

  • Modify debug steps.

    @EricGT EricGT committed Oct 13, 2012
    9b79545

  • Format lines correctly.

    @EricGT EricGT committed Oct 10, 2012
    a1f5215

  • Updated Usage Notes (markdown)

    @EricGT EricGT committed Oct 10, 2012
    b841cc5

  • Updated Usage Notes (markdown)

    @EricGT EricGT committed Oct 10, 2012
    2cddb11

  • Simplify debugging with FSI by using FSI option use:

    @EricGT EricGT committed Oct 10, 2012
    1b33267

  • Add section on how to debug a single example.

    @EricGT EricGT committed Oct 10, 2012
    420a9f0

  • Change solution to parse error using verbatim string.

    @EricGT EricGT committed Oct 7, 2012
    946c269

  • Added section explaining reasons for stack overflows when running examples.

    @EricGT EricGT committed Oct 3, 2012
    ca23a3f

  • Updated Usage Notes (markdown)

    @EricGT EricGT committed Oct 1, 2012
    06a087a

  • Updated Usage Notes (markdown)

    @EricGT EricGT committed Oct 1, 2012
    bb7c751

  • Create usage notes page. Note work around to use space with end-of-line.

    @EricGT EricGT committed Sep 24, 2012
    739a673