 Samuel W. Flint
|
1bff2bb22c
Wrote about Numeric classification
|
vor 8 Jahren |
|
Samuel W. Flint
|
9a81b3b05e
Rewrote about the Classifications
|
vor 8 Jahren |
|
Samuel W. Flint
|
07018571bd
Wrote about Classification Storage
|
vor 8 Jahren |
|
Samuel W. Flint
|
eb125d40e9
Wrote about When Classified
|
vor 8 Jahren |
|
Samuel W. Flint
|
ab2f1a82eb
Commented a bunch of old stuff out
|
vor 8 Jahren |
|
Samuel W. Flint
|
02ea407cde
Rewrote about Classification Case
|
vor 8 Jahren |
|
Samuel W. Flint
|
55fd44d8ce
Made it a little bit more readable
|
vor 8 Jahren |
|
Samuel W. Flint
|
9135d79158
Removed some extraneous space
|
vor 8 Jahren |
|
Samuel W. Flint
|
5d3b83d88a
Rewrote about Complete Expression Classification
|
vor 8 Jahren |
|
Samuel W. Flint
|
3ab2ebf645
Rewrote about Classification Checking
|
vor 8 Jahren |
|
Samuel W. Flint
|
53b90f407c
Rewrote about Classification Definition
|
vor 8 Jahren |
|
Samuel W. Flint
|
96b3cd5d8f
Rewrote about Expression Typing
|
vor 8 Jahren |
|
Samuel W. Flint
|
aaa2725928
Updated the stats cookie
|
vor 8 Jahren |
|
Samuel W. Flint
|
b2cf774c75
Typesetting Issues
|
vor 8 Jahren |
|
Samuel W. Flint
|
b7e77c335e
Updates for the Intro
|
vor 8 Jahren |
|
Samuel W. Flint
|
4c393be1c4
Rewrote the Symbolic To Typeset convertor
|
vor 8 Jahren |
|
Samuel W. Flint
|
bd2fe8b7a0
Renamed to something more useful
|
vor 8 Jahren |
|
Samuel W. Flint
|
a2f082a6de
Added some stuff for the GUI
|
vor 8 Jahren |
|
Samuel W. Flint
|
346178a509
Added some stuff for the TUI
|
vor 8 Jahren |
|
Samuel W. Flint
|
c2ec26f1de
Moved stuff around for classification
|
vor 8 Jahren |
|
Samuel W. Flint
|
45f218d30e
Redid symbolic Differentiation! W00t!
|
vor 8 Jahren |
|
Samuel W. Flint
|
9f1a24c27a
Continued Rewriting
|
vor 8 Jahren |
|
Samuel W. Flint
|
50a7a75196
Started Rewriting Stuff, big time
|
vor 8 Jahren |
|
Samuel W. Flint
|
c3d3ba9a3d
Removed a bunch of old stuff
|
vor 8 Jahren |
|
Samuel W. Flint
|
0fb44b44b2
Moved over to a defined system! Woo!
|
vor 8 Jahren |
|
Samuel W. Flint
|
4b4456e2b4
Moved over to a central Packaging Area
|
vor 8 Jahren |
|
Samuel W. Flint
|
3444dfa714
Moved some stuff around a bit, adding some headings
|
vor 8 Jahren |
|
Samuel W. Flint
|
957d5a7d65
Rewrote the intro for the manipulators
|
vor 8 Jahren |
|
Samuel W. Flint
|
e2398aa7a8
Added some sections
|
vor 8 Jahren |
|
Samuel W. Flint
|
513052fe4b
Updated some titles to make them more cohesive
|
vor 8 Jahren |
