Permalink
Commits on Jan 16, 2013
  1. Ensure that the .wsx is current with the .miz.

    Jesse Alama committed Jan 16, 2013
  2. Colon

    Jesse Alama committed Jan 16, 2013
  3. No need to repeat.

    Jesse Alama committed Jan 16, 2013
  4. Whitespace.

    Jesse Alama committed Jan 16, 2013
  5. Print XSLT processor output to stderr (using warn).

    Jesse Alama committed Jan 16, 2013
Commits on Jan 8, 2013
  1. First go at some documentation.

    Jesse Alama committed Jan 8, 2013
  2. Without-reservation form of the MML.

    Jesse Alama committed Jan 8, 2013
  3. Delete wrong data.

    Jesse Alama committed Jan 8, 2013
  4. Ensure first.

    Jesse Alama committed Jan 8, 2013
  5. Simply add the (cloned) node.

    Jesse Alama committed Jan 8, 2013
  6. Just use MERGE-PATHNAMES.

    Jesse Alama committed Jan 8, 2013
Commits on Dec 11, 2012
  1. More progress on Fraenkels.

    Jesse Alama committed Dec 11, 2012
Commits on Dec 6, 2012
  1. Just use the PRINT-OBJECT method.

    Jesse Alama committed Dec 6, 2012
  2. VERIFIABLE

    Jesse Alama committed Dec 6, 2012
  3. Import Osicat's WITH-TEMPORARY-FILE.

    Jesse Alama committed Dec 6, 2012
  4. Test tweakage.

    Jesse Alama committed Dec 6, 2012
  5. Think about using osicat.

    Jesse Alama committed Dec 6, 2012
  6. Without-reservations Mizar.

    Jesse Alama committed Dec 6, 2012
  7. Need to escape.

    Jesse Alama committed Dec 6, 2012
  8. RUN-TEST.

    Jesse Alama committed Dec 6, 2012
  9. Too many articles for now.

    Jesse Alama committed Dec 6, 2012
  10. New utils test.

    Jesse Alama committed Dec 6, 2012
  11. Qualifying formulas.

    Jesse Alama committed Dec 6, 2012
  12. Tests for every article.

    Jesse Alama committed Dec 6, 2012
  13. Run suites.

    Jesse Alama committed Dec 6, 2012
  14. Escaping.

    Jesse Alama committed Dec 6, 2012
Commits on Dec 5, 2012
  1. Rendering and printing.

    Jesse Alama committed Dec 5, 2012
  2. ()

    Jesse Alama committed Dec 5, 2012
  3. Start testing stuff.

    Jesse Alama committed Dec 5, 2012
  4. Type fixes.

    Jesse Alama committed Dec 5, 2012
  5. Scheme provisions, more conditions.

    Jesse Alama committed Dec 5, 2012
  6. Infix terms, circumfix terms, definition and theorem references, comm…

    Jesse Alama committed Dec 5, 2012
    …utativity, idempotence, existence, uniqueness, diffuse reasoning.
Commits on Dec 4, 2012
  1. Scheme proofs, conjunctions and disjunctions, it-terms, global choice…

    Jesse Alama committed Dec 4, 2012
    … terms.
  2. Functor definitions.

    Jesse Alama committed Dec 4, 2012