GitHub / hwayne/alloydocs issues and pull requests
#32 - Fix module reference in example with multiple orderings
Pull Request -
State: open - Opened by dkasak 8 months ago
#31 - Add details to partialOrder and totalOrder
Pull Request -
State: closed - Opened by lorin 9 months ago
- 1 comment
#30 - Fix to allow building of PDF version
Pull Request -
State: closed - Opened by adamkruszewski about 2 years ago
- 1 comment
#29 - Update for Alloy 6
Issue -
State: closed - Opened by hwayne over 2 years ago
#28 - Fix link to the top page of the rendered docs
Pull Request -
State: closed - Opened by craigpastro over 2 years ago
#27 - fix typo (extends rather than in)
Pull Request -
State: closed - Opened by zhimin-z almost 3 years ago
- 2 comments
#26 - Change the 'currently hosted' link URL
Pull Request -
State: closed - Opened by stroxler about 3 years ago
- 1 comment
#25 - Fix typo for "open util/integer"
Pull Request -
State: closed - Opened by awwx over 3 years ago
- 1 comment
#24 - Fix typos
Pull Request -
State: closed - Opened by ligurio over 3 years ago
- 3 comments
#23 - small typo in docs: "except" -> "but"
Pull Request -
State: closed - Opened by OliverEvans96 over 3 years ago
#22 - UI layout: enable collapsing index bar on left for improved use of screen space
Issue -
State: open - Opened by ahelwer over 4 years ago
- 3 comments
#21 - Integer Module.
Pull Request -
State: closed - Opened by ruimaranhao over 4 years ago
- 1 comment
#20 - Adding module: naturals
Pull Request -
State: closed - Opened by ruimaranhao over 4 years ago
- 1 comment
#19 - Change the wording for functions.
Pull Request -
State: closed - Opened by zsfre almost 5 years ago
- 2 comments
#18 - Point to correct location of published docs
Pull Request -
State: closed - Opened by evelynmitchell almost 5 years ago
- 1 comment
#17 - Consider adding the url of the doc to the github project description
Issue -
State: closed - Opened by victornoel about 5 years ago
#16 - Fix typo (Person must be User)
Pull Request -
State: closed - Opened by victornoel about 5 years ago
#15 - Add events example to model dynamics
Issue -
State: closed - Opened by hwayne about 5 years ago
- 1 comment
#14 - Make multirelations signature table clearer
Issue -
State: open - Opened by hwayne about 5 years ago
#13 - Awkward/Unclear explanation of `abstract`
Issue -
State: closed - Opened by msingle about 5 years ago
- 1 comment
#12 - bunch of small comments
Issue -
State: closed - Opened by dnjackson about 5 years ago
- 2 comments
#11 - "Here" link broken
Issue -
State: closed - Opened by rberenguel over 5 years ago
- 2 comments
#10 - Explain limitations on arithmetic better
Issue -
State: open - Opened by hwayne over 5 years ago
- 1 comment
#9 - Fix typo in disj subsection.
Pull Request -
State: closed - Opened by lucasdicioccio over 5 years ago
- 2 comments
#8 - Gh pages
Pull Request -
State: open - Opened by asmodehn over 5 years ago
- 3 comments
#7 - Add Markdown section
Pull Request -
State: closed - Opened by lorin over 5 years ago
- 1 comment
#6 - Document Markdown syntax
Issue -
State: closed - Opened by lorin over 5 years ago
- 1 comment
#5 - Some minor issues while reading through the new docs.
Issue -
State: closed - Opened by taralx over 5 years ago
- 10 comments
#4 - Add abstract to the example
Pull Request -
State: closed - Opened by pmonson711 over 5 years ago
#3 - signature abstract subtype is missing abstract in example
Issue -
State: closed - Opened by pmonson711 over 5 years ago
- 1 comment
#2 - Minor edits and import fix
Pull Request -
State: closed - Opened by casselc over 5 years ago
- 1 comment
#1 - License
Issue -
State: closed - Opened by motet-a over 5 years ago
- 3 comments