]> matita.cs.unibo.it Git - helm.git/blob - src/globals.hh
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
made executable again
[helm.git] / src / globals.hh
1
2 #ifndef __globals_hh__
3 #define __globals_hh__
4
5 #define TML_NS_URI "http://helm.cs.unibo.it/2002/TML"
6 #define XMLNS_NS_URI "http://www.w3.org/2000/xmlns/"
7
8 #endif // __globals_hh__
Unnamed repository; edit this file 'description' to name the repository.