5 ToolsForHomalg automatic generated documentation
  
  
  5.1 ToolsForHomalg automatic generated documentation of global variables
  
  5.1-1 HOMALG_TOOLS
  
  HOMALG_TOOLS global variable
  
  A central place for configurations. ChapterInfo Basics, Variables