5 Commits

Author	SHA1	Message	Date
Anthony Scemama	cd7d0280d7	Fixed options	2019-01-14 19:52:41 +01:00
Anthony Scemama	316fb508d5	Cleaning in scripts	2019-01-14 15:20:51 +01:00
Anthony Scemama	815b7b2d18	Command_line.ml	2019-01-11 19:10:12 +01:00
Anthony Scemama	a85f1212f3	A lot of renaming	2019-01-05 01:58:19 +01:00
Anthony Scemama	8f89e3d239	Nocurl (#75) ... * Documentation * Improved qp_set_frozen_core * Changed all ishft * New install script OK * Variable level shift in HF	2018-11-20 11:33:07 +01:00