Skip to content
Snippets Groups Projects
Commit bab61d95 authored by Hans-Jörg Schurr's avatar Hans-Jörg Schurr
Browse files

More edits 

- adress normalizing of terms with context push (and other typos)
- Remark on missing Gamma
parent 2c28f6f3
No related branches found
No related tags found
1 merge request!2Backport specification from my PhD thesis
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment