var searchData= [ ['getting_20started',['Getting started',['../GettingStarted.html',1,'UnclassifiedPages']]], ['general_20topics',['General topics',['../UserManual_Generalities.html',1,'index']]] ];
var searchData= [ ['getting_20started',['Getting started',['../GettingStarted.html',1,'UnclassifiedPages']]], ['general_20topics',['General topics',['../UserManual_Generalities.html',1,'index']]] ];