Module create_simple_magma_list
Classes
Magma
Functions
_test
strip_dirname
Variables
FILENAME_PARAMETER
FILE_LIST_NAME
MAGMA_0_4_HEADER
URN_PARAMETER_NAME
__depends__
[
hide private
]