Synced with Hermes.
Merge pull request #100 from l-korous/master

Synced with Hermes.
Merge remote-tracking branch 'kus/master'
minor fix in weakform ext
fixes, progress