Commits

Commits on Dec 23, 2020

Merge pull request hwayne#21 from ruimaranhao/master
hwayne
committedDec 23, 2020

Commits on Dec 3, 2020

including info about integer module
ruimaranhao
committedDec 3, 2020
Merge pull request hwayne#20 from ruimaranhao/master
hwayne
committedDec 3, 2020

Commits on Dec 2, 2020

pretty-printing
ruimaranhao
committedDec 2, 2020
adding natural module
ruimaranhao
committedDec 2, 2020

Commits on Oct 1, 2020

Merge pull request hwayne#19 from zsfre/patch-1
hwayne
committedOct 1, 2020
Change the wording for functions.
zsfre
committedOct 1, 2020

Commits on May 20, 2020

Merge branch 'master' of https://github.com/hwayne/alloydocs
hwayne
committedMay 20, 2020
Do requests in Issue hwayne#12
hwayne
committedMay 20, 2020
Fix link in readme, issue hwayne#11
hwayne
committedMay 20, 2020

Commits on Apr 24, 2020

Merge pull request hwayne#9 from lucasdicioccio/master
hwayne
committedApr 24, 2020
Fix typo in Relations subsection.
lucasdicioccio
committedApr 24, 2020
Fix typo in Visualizer section.
lucasdicioccio
committedApr 24, 2020
Fix typo in disj subsection.
lucasdicioccio
committedApr 24, 2020

Commits on Apr 17, 2020

FACE TRACE
hwayne
committedApr 17, 2020

Commits on Apr 15, 2020

Merge pull request hwayne#7 from lorin/markdown
hwayne
committedApr 15, 2020
Fix Markdown section headers
lorin
committedApr 15, 2020
fix typos
hwayne
committedApr 15, 2020
Add Markdown section
lorin
committedApr 15, 2020
fix merge conflicts
hwayne
committedApr 15, 2020
Fix issues in hwayne#5
hwayne
committedApr 15, 2020

Commits on Apr 13, 2020

Merge pull request hwayne#2 from casselc/casselc-edits
hwayne
committedApr 13, 2020
Update expressions-and-constraints.rst
casselc
committedApr 13, 2020
Create LICENSE
hwayne
committedApr 13, 2020
Merge pull request hwayne#4 from pmonson711/Abstract-example
hwayne
committedApr 13, 2020
Add abstract to the example
pmonson711
committedApr 13, 2020
Fix browsing example imports
casselc
committedApr 13, 2020
Update graph.rst
casselc
committedApr 13, 2020
Update visualizer.rst
casselc
committedApr 13, 2020
Update analyzer.rst
casselc
committedApr 13, 2020
Update modules.rst
casselc
committedApr 13, 2020
Update commands.rst
casselc
committedApr 13, 2020
Update expressions-and-constraints.rst
casselc
committedApr 13, 2020
Update sets-and-relations.rst
casselc
committedApr 13, 2020
Minor edits
casselc
committedApr 13, 2020