adding panta base
fixed the issue when JSON would be parsed twice - resulting in JS error
adding glossary formatter + begining of glossary import
Merge branch 'master' of github.com:KWARC/planetary
merging from upstream (kwarc/planetary)
Updating DruTeXML to not use WebGlue but standard Drupal functions. Allowing seeing drutexml results from the UI as well as destroying the cache per node basis
Merge branch 'master' of github.com:KWARC/planetary
adding git type of repository
small update for OMDOC->XHTML generation
renaming menu items
Merge branch 'master' of github.com:KWARC/planetary
added needed drupal modules
 integrated planetary_glossary with mmt, still work in progress