-
Notifications
You must be signed in to change notification settings - Fork 10
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Rewrite of "Technical overview" in progress #41
Comments
Lars, any progress here? |
28 sep. 2017 kl. 10:36 skrev Michael Kohlhase ***@***.***>:
Lars, any progress here?
Yes, what remains is pretty much to make a commit and push. I'd be the first time I do that against github, so I expect some RTFMing, but there is nothing more on my schedule today so that should be doable.
|
RTFM is good for you :-> |
Lars, if you could integrate David's changes, I will pull your PR. I would do that now, but I do not want his comments to get lost. |
sigh sorry about the above travis commit messages. I need to add a filter in the travis to remove issue references. What happened there was I added the issue link for the OMSTD repo but travis copies the commit message when checking in a generated document to this repo so it triggered entries to the issues in this repo. |
Just FYI, I'm about 3/4 done with a rewrite of technical.md (though at the moment it's the last hectic days before the semester starts in Sweden, so I might get otherwise occupied). Some changes so far:
There are no commits yet though (mostly because some parts are quite unfinished).
The reason I started looking at the file in question was that it seemed the natural place to link on to a tutorial on XM-for-OM (as discussed in Edinburgh). Some of the cut XML material would be more natural there.
The text was updated successfully, but these errors were encountered: