Index of /archive/pool/universe/o/open-axiom

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 open-axiom-databases..> 2012-10-11 15:23  1.3M  
 open-axiom-databases..> 2015-02-01 18:18  912K  
 open-axiom-graphics-..> 2012-10-11 15:23  7.8K  
 open-axiom-graphics-..> 2015-02-01 18:18  8.1K  
 open-axiom-graphics_..> 2012-10-11 15:23  169K  
 open-axiom-graphics_..> 2012-10-11 15:23  159K  
 open-axiom-graphics_..> 2015-02-01 18:18  120K  
 open-axiom-graphics_..> 2015-02-01 18:18  118K  
 open-axiom-hypertex-..> 2012-10-11 15:23  1.4M  
 open-axiom-hypertex-..> 2015-02-01 18:18  1.0M  
 open-axiom-hypertex_..> 2012-10-11 15:23  121K  
 open-axiom-hypertex_..> 2012-10-11 15:23  115K  
 open-axiom-hypertex_..> 2015-02-01 18:18   92K  
 open-axiom-hypertex_..> 2015-02-01 18:18   94K  
 open-axiom-source_1...> 2012-10-11 15:23  1.1M  
 open-axiom-source_1...> 2015-02-01 18:18  841K  
 open-axiom-test_1.4...> 2012-10-11 15:23  198K  
 open-axiom-test_1.5...> 2015-02-01 18:18  147K  
 open-axiom-tex_1.4.1..> 2012-10-11 15:23  4.7K  
 open-axiom-tex_1.5.0..> 2015-02-01 18:18  5.3K  
 open-axiom_1.4.1+svn..> 2012-10-11 14:11   15K  GZIP compressed docume>
 open-axiom_1.4.1+svn..> 2012-10-11 14:11  2.0K  
 open-axiom_1.4.1+svn..> 2012-10-11 15:23   25M  
 open-axiom_1.4.1+svn..> 2012-10-11 15:23   23M  
 open-axiom_1.4.1+svn..> 2012-05-21 21:35   11M  GZIP compressed docume>
 open-axiom_1.5.0~svn..> 2015-02-01 17:48   15K  GZIP compressed docume>
 open-axiom_1.5.0~svn..> 2015-02-01 17:48  2.5K  
 open-axiom_1.5.0~svn..> 2015-02-01 18:18   19M  
 open-axiom_1.5.0~svn..> 2015-02-01 18:18   18M  
 open-axiom_1.5.0~svn..> 2015-02-01 17:48  7.6M  tar archive