Code

More updates to user manual#75

Code

Open

tinelli wants to merge 13 commits intocvc5:maincvc5/ethos:mainfrom tinelli:cesare3tinelli/ethos:cesare3Copy head branch name to clipboard

+499-351

Commits

Commits on Aug 30, 2024

• Several edits to improve readability and conform to Markdown guidelines

  tinelli

  committed
  12c44f0

Commits on Sep 2, 2024

• Minor fixes

  tinelli

  committed
  986c2e3

Commits on Sep 4, 2024

• Added back some text from previous commits

  tinelli

  committed
  5c779a1

Commits on Sep 5, 2024

• Apply suggestions from code review

  Show description for 1fa108f
  

  tinelli

  and

  ajreynol

  authored
  1fa108f

Commits on Sep 6, 2024

• Removed most comments

  tinelli

  committed
  0dcd06d

• Update .gitignore

  tinelli

  committed
  6874206

• Introduced evaluation function [_] in Computational Operators section

  tinelli

  committed
  a4b3390

• more edits to incorporate old changes

  tinelli

  committed
  0bb1952

Commits on Sep 8, 2024

• Merge branch 'cesare2' into cesare3

  tinelli

  committed
  5310395

• Initial revision of Operators section

  tinelli

  committed
  398a108

• Update user_manual.md

  tinelli

  committed
  058ec8c

• Some more polishing and comments

  tinelli

  committed
  d9bc969

• Delete .DS_Store

  tinelli

  committed
  b5f7810