Skip to content
Snippets Groups Projects
Commit 64639966 authored by cmaeder's avatar cmaeder
Browse files

added migration note

parent 02c0835e
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
README.md
+ 4
− 0
View file @ 64639966
The development has been discontinued here and has moved to
https://svn.kwarc.info/repos/MMT/src/mmt-api/trunk/resources/mmt-web/errorview.html
and https://svn.kwarc.info/repos/MMT/src/mmt-api/trunk/src/main/info/kwarc/mmt/api/archives/ErrorManager.scala
## Error viewer
The [error viewer] (http://alpha.mathhub.info:9090/sally/errorview/search.html)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment