Skip to content

'Modul(term)' -> 'Modul.(term)' ; 'Dcon.prm' -> 'Dcon?.prm', 'is_Dcon' -> 'Dcon?' ; improved name resolution - #772

Merged
tahina-pro merged 39 commits into
masterfrom
taramana_private
Dec 2, 2016
Merged

'Modul(term)' -> 'Modul.(term)' ; 'Dcon.prm' -> 'Dcon?.prm', 'is_Dcon' -> 'Dcon?' ; improved name resolution#772
tahina-pro merged 39 commits into
masterfrom
taramana_private

Commits

Commits on Nov 8, 2016

Commits on Nov 23, 2016

Commits on Nov 24, 2016

Commits on Nov 28, 2016

Commits on Nov 29, 2016

Commits on Nov 30, 2016

Commits on Dec 1, 2016

Commits on Dec 2, 2016