null

History log of /hets/Static.hs
Revision	Date	Author	Comments Expand
6ca3f332b259cc9330332db2af13091718e1c76b	25-Jul-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed Static.DGToSpec git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10397 cec4b9c1-7d33-0410-9eda-942365e851bb Static.hs
e6ce7942f582ab8fa4df1fa329080f7aaf1be9f4	26-Apr-2005	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	documentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4127 cec4b9c1-7d33-0410-9eda-942365e851bb Comorphisms.hs Isabelle.hs Logic/Grothendieck.hs Static.hs
3191a1b1608839c6f1757322a130e608ac4a157e	25-Apr-2005	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	documentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4124 cec4b9c1-7d33-0410-9eda-942365e851bb Logic/Grothendieck.hs Static.hs Static/ArchDiagram.hs
4918e2f622cfb96f9a57b7617cd18ca7e4f8b5d4	14-Apr-2005	Christian Maeder <Christian.Maeder@dfki.de>	dummy modules for haddock directory documentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4051 cec4b9c1-7d33-0410-9eda-942365e851bb ATC.hs ATC/ADoc.hs CASL.hs CASL_DL.hs COL.hs CoCASL.hs Common.hs Comorphisms.hs CspCASL.hs Driver.hs GUI.hs HasCASL.hs Haskell.hs Hatchet.hs Isabelle.hs Logic.hs Modal.hs OWL_DL.hs Proofs.hs SPASS.hs Static.hs Syntax.hs Taxonomy.hs ToHaskell.hs