Skip to content
Commits on Aug 19, 2013
  1. Merge.

    committed Aug 18, 2013
  2. Ignore copy of installer.nsi

    committed Aug 18, 2013
Commits on Jun 28, 2013
  1. Merge pull request #66 from kyle921/master

    Add setup for Debian installer creation (fixes #48)
    committed Jun 28, 2013
Commits on Jun 3, 2013
  1. @kyle921
  2. @kyle921
  3. @kyle921

    Create Debian installer setup

    kyle921 committed Jun 4, 2013
Commits on Jun 1, 2013
  1. Merge pull request #64 from kyle921/master

    Fix issue 51 and update readme.md
    committed May 31, 2013
Commits on Apr 18, 2013
  1. @kyle921

    Fix issue 51 from original repo

    kyle921 committed Apr 18, 2013
  2. @kyle921

    Add x64.sh plugin

    kyle921 committed Apr 18, 2013
  3. @kyle921

    Update step 6 of readme.md

    kyle921 committed Apr 18, 2013
Commits on Feb 16, 2013
  1. Bug with setting string prefs

    committed Feb 16, 2013
  2. Fix a bug with parsing symbols

    committed Feb 16, 2013
Commits on Feb 9, 2013
  1. Ignore IntelliJ IDEA files.

    committed Feb 9, 2013
Commits on Feb 7, 2013
  1. Organize imports

    committed Feb 7, 2013
  2. Color output window text to de-emph ACL2 output in favor of summaries

    (per suggestion from Dr. Page)
    committed Feb 6, 2013
  3. Include current dir in book viewer

    fixes #22
    committed Feb 6, 2013
  4. defun param counts

    committed Feb 6, 2013
Commits on Feb 6, 2013
  1. Remove debug print

    committed Feb 6, 2013
  2. New type of error message

    committed Feb 6, 2013
  3. Name was chosen.

    committed Feb 6, 2013
Commits on Feb 4, 2013
  1. Don't double-start Acl2

    committed Feb 4, 2013
Something went wrong with that request. Please try again.