| 93e4ae9221332f59e762fd04392096af1511f6b8 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
started adding sigdata
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18237 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6df4343f46cc159371dfa671c5943354480f4e1c |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
xml export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18231 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8f38f1aeb6ac1c9514f8d6d5e509ff7298ed5b78 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
first work for locales support
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17137 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 255a89789d3d5b19f6a8c96bf6c260a96158ef6d |
|
28-Jun-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Restructured export_helper.ML
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16987 cec4b9c1-7d33-0410-9eda-942365e851bb |