Command history: Save in file before each execution to avoid to lose it in case of... 71/20871/2
[scilab.git] / scilab / modules / history_manager / includes /
drwxr-xr-x ..
-rw-r--r-- HistoryManager.h
-rw-r--r-- InitializeHistoryManager.h
-rw-r--r-- TerminateHistoryManager.h
-rw-r--r-- dynlib_history_manager.h
-rw-r--r-- dynlib_history_manager_gw.h
-rw-r--r-- getCommentDateSession.h
-rw-r--r-- gw_history_manager.h
-rw-r--r-- history_manager_gw.hxx