hwayne/alloydocs

Issues

• Update for Alloy 6

  #29 opened 10 months ago by hwayne
  0

• Add events example to model dynamics

  #15 opened 2 years ago by hwayne
  1

• UI layout: enable collapsing index bar on left for improved use of screen space

  #22 opened 4 years ago by ahelwer
  3

• Consider adding the url of the doc to the github project description

  #17 opened 2 years ago by victornoel
  0

• Make multirelations signature table clearer

  #14 opened 5 years ago by hwayne
  0

• Explain limitations on arithmetic better

  #10 opened 5 years ago by hwayne
  1

• "Here" link broken

  #11 opened 5 years ago by rberenguel
  2

• Awkward/Unclear explanation of `abstract`

  #13 opened 5 years ago by msingle
  1

• bunch of small comments

  #12 opened 5 years ago by dnjackson
  2

• Document Markdown syntax

  #6 opened 5 years ago by lorin
  1

• Some minor issues while reading through the new docs.

  #5 opened 5 years ago by taralx
  10

• License

  #1 opened 5 years ago by motet-a
  3

• signature abstract subtype is missing abstract in example

  #3 opened 5 years ago by pmonson711
  1