elias/strudel
1
0
Fork 0
mirror of https://github.com/eliasstepanik/strudel.git synced 2026-01-12 14:18:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
360 Commits 1 Branch 0 Tags
Commit Graph

5 Commits

Author SHA1 Message Date
Felix Roos
91c0a46ba9 add euclid 2022-03-17 15:03:57 +01:00
Felix Roos
acd07c31ff started mini notation highlighting 
currently deactivated by addMiniLocations flag
 2022-02-20 23:46:45 +01:00
Felix Roos
ef9527d691 add "!" and "_" to mini notation 2022-02-16 20:10:00 +01:00
Felix Roos
ffffca8cdc allow "^" in mini notation step 2022-02-12 22:56:03 +01:00
Felix Roos
2062e4233e add poc for krill parsing 2022-02-06 12:41:20 +01:00