]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/src/tokenizer.hh
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Initial revision
[helm.git] / helm / DEVEL / mathml_editor / src / tokenizer.hh
1
2 #ifndef __tokenzier_hh__
3 #define __tokenzier_hh__
4
5 #include <string>
6 #include <vector>
7
8 std::vector<TToken> tokenize(const std::string&);
9
10 #endif // __tokenzier_hh__
Unnamed repository; edit this file 'description' to name the repository.