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