You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Instead of lengthy descriptions of software implementation, like the outdated doc/doc.tex, this wiki could be used as a user or developer guide... also doc/wiki.html was too cumbersome.