Historie revizí

Autor SHA1 Zpráva Datum
  Samuel W. Flint 263848d2fe Added a basic division manipulator před 10 roky
  Samuel W. Flint 1a50a737bd Added basic multiplication manipulator před 10 roky
  Samuel W. Flint 53d758ab87 Wrote about miscellaneous functions před 10 roky
  Samuel W. Flint 3bd31622ec Updated the classify function, should be a bit more efficient před 10 roky
  Samuel W. Flint e953abd8f7 Export a couple of other symbols před 10 roky
  Samuel W. Flint 47a6388e75 Added a simple trigonometric classification před 10 roky
  Samuel W. Flint 486af29d73 Wrote about packaging před 10 roky
  Samuel W. Flint 8beaccf26c Fixed manipulate před 10 roky
  Samuel W. Flint 8b7cbe5512 Changed to working před 10 roky
  Samuel W. Flint 6e9b2fc1c8 Added an ID před 10 roky
  Samuel W. Flint 627756e123 Temporarily remove term collection from the system před 10 roky
  Samuel W. Flint ee61b38775 Wrote about many of the classifications před 10 roky
  Samuel W. Flint 3ee4837255 Wrote about classifications and added non-atomics před 10 roky
  Samuel W. Flint 139bbb5bd9 Wrote about the storage of classifications před 10 roky
  Samuel W. Flint 01a874f896 Wrote about expression classification před 10 roky
  Samuel W. Flint cd95e82556 Updated to use classification instead of type, more consistent před 10 roky
  Samuel W. Flint c0a1e3dd6a Wrote about classification checking, and renamed expression-type-p to classified-as-p před 10 roky
  Samuel W. Flint 29df433860 Wrote about classification definition, updated classifier definition macro před 10 roky
  Samuel W. Flint 04e06ab518 Moved classification storage to the end před 10 roky
  Samuel W. Flint 8f765b1d67 Wrote introduction to expression typing před 10 roky
  Samuel W. Flint e48ed0d6b2 Removed expression-type, not needed před 10 roky
  Samuel W. Flint 87ef1a9eea Archived the Rewrite rules, will be needed for other part of the system před 10 roky
  Samuel W. Flint 5cb5d2decc Added an ID před 10 roky
  Samuel W. Flint 3560b96364 Changed to define-operation, fixed a couple of minor things and added před 10 roky
  Samuel W. Flint dba42566e3 Fixed a couple of polynomial functions před 10 roky
  Samuel W. Flint 9546edb01a Changed to define-classification and added trig classifications před 10 roky
  Samuel W. Flint 193478007f Don't export rewrite rules, they aren't done yet před 10 roky
  Samuel W. Flint a46e7fd1b2 Added start of manipulators for multiplication před 10 roky
  Samuel W. Flint 1b92cba2f0 Moved some functions around před 10 roky
  Samuel W. Flint f30d8e34c0 Got vary far on the manipulator před 10 roky