e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
026af5e4803af16acb4fe738725eb0c096499cbe |
|
16-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed down scaling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16453 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee307e78d93b150d66338d438a58f0c721ad35ec |
|
15-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid doubles
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16448 cec4b9c1-7d33-0410-9eda-942365e851bb |
5be353131ff32e4e0312a72aa46b7fb3b63cac27 |
|
11-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
scaled down doc sizes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16444 cec4b9c1-7d33-0410-9eda-942365e851bb |
f608a41ff8cf2c2459d58baa7319c14a869c9063 |
|
07-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16239 cec4b9c1-7d33-0410-9eda-942365e851bb |
98b26cd1433379613f29f175713c5cec2c18293e |
|
04-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to pretty-1.1.0.0
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16217 cec4b9c1-7d33-0410-9eda-942365e851bb |
7fb8d0aede4d54d56e0b9d37c7a28dd7453ff0a1 |
|
30-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up using scan
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14831 cec4b9c1-7d33-0410-9eda-942365e851bb |
84178c3b067748d3d592c1498e5e65fa8c5ea4c2 |
|
30-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed escaping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14830 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
8be27ba9054249747348c97064268f61277d70f9 |
|
11-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduce width of user's latex macro
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13869 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
ceef5f7843a1f96fe5a62e0f6880e38b3d5f4708 |
|
10-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed semicolons
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13197 cec4b9c1-7d33-0410-9eda-942365e851bb |
10b02b2343246df6773585636fe3ddbefa3b6a1b |
|
04-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored parsers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13160 cec4b9c1-7d33-0410-9eda-942365e851bb |
2725abe920f91de62ae5c0b7230c1627cccf5fab |
|
23-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced more ues
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10722 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5fe06af711a6912ae028ebf873eada4ee8733f8 |
|
23-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced umlaut in Luettich
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10718 cec4b9c1-7d33-0410-9eda-942365e851bb |
34bff097c14521b5e57ce37279a34256e1f78aa5 |
|
25-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
changed maintainer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8483 cec4b9c1-7d33-0410-9eda-942365e851bb |
48250643e81974a9b72fa4a3cee090eebd39cb37 |
|
23-Feb-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
removed superfluous todos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7525 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6d40133bc9f858308654afb1262b8b483ec5922 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb |
d543cf2bb0c810781625c76fe135476d46270d88 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7285 cec4b9c1-7d33-0410-9eda-942365e851bb |
8edb4ad713c5563da47efbcdef32eb28fc8ca808 |
|
23-Oct-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced latin1 chars
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7088 cec4b9c1-7d33-0410-9eda-942365e851bb |
88ec22bf558d5e5b3bbf1d1bd334cc269e5a92d2 |
|
03-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved constants from LaTex_funs to Doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6776 cec4b9c1-7d33-0410-9eda-942365e851bb |
e2ac71955f63b5d20664997b2330c9aca3a5d30c |
|
03-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6775 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e23977fdfd000a49ce2f95351b2e568d84a63c0 |
|
03-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added eth translations and comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6773 cec4b9c1-7d33-0410-9eda-942365e851bb |
a714d3502705dfb4b6e7db013ad2808e1184fb6d |
|
03-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added critical latin1 translations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6771 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2edaf72ce957b07787e9096da10e9df5fd82392 |
|
12-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided to much escaping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6199 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c1f67b0588082aa4241a2fa9a8370e2e54aca94 |
|
12-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected parseAtom, changed escaping and word width calculation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6195 cec4b9c1-7d33-0410-9eda-942365e851bb |
aac4180ea138482bbfbbe866e84b253b78098cd3 |
|
11-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
rewrote escape latex
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6191 cec4b9c1-7d33-0410-9eda-942365e851bb |
6882fbc9515089452ce2637dbce90758a7784d50 |
|
07-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced textbackslash by setminus for math-mode
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6178 cec4b9c1-7d33-0410-9eda-942365e851bb |
32e36073d196bf87451348c1117be1d1e687b4c3 |
|
21-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added parseAxiomString
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6089 cec4b9c1-7d33-0410-9eda-942365e851bb |
76e93142ea7722dcefb1acd4c063377d730dc7fe |
|
09-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved tab strings, changed 'hat' code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5947 cec4b9c1-7d33-0410-9eda-942365e851bb |
76647324ed70f33b95a881b536d883daccf9568d |
|
08-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5934 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab119a3a4eeeaa66d24417b673a4acbfb9b33e79 |
|
17-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed whiteSpace and hang stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5848 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9d85976e159a5a1a830ea92e5355f99911f1bff |
|
10-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added_flushright
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5790 cec4b9c1-7d33-0410-9eda-942365e851bb |
99248c8be3bcae99b7004504fadc0e2c2969ed50 |
|
09-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened export list, changed conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5787 cec4b9c1-7d33-0410-9eda-942365e851bb |
da0e097955b0e4d02c388d24cfa03e6b71c9a10e |
|
09-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed void if-case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5784 cec4b9c1-7d33-0410-9eda-942365e851bb |
daa3ec8e416d19fd08850a3c34240205f71926d2 |
|
09-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
new shortcuts in LaTeX_utils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5782 cec4b9c1-7d33-0410-9eda-942365e851bb |
c6f22c410c60fd91320efeecb62203df5f44dc7a |
|
08-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved semiAnno_latex and hspace_latex and simplified hc_sty_ keyword functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5776 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b26a4f5c3f7b7ccdd4b2a6327928458288d3f55 |
|
02-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
escaped also vertical bar as textbar
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5761 cec4b9c1-7d33-0410-9eda-942365e851bb |
03dcda84f16ec6efa751e2cd77fb88648ffaf9d5 |
|
04-Jan-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* moved function printId from Common.PrettyPrint to Common.PrintLaTeX
* improved printing of Ids with display annotations containing LaTeX macros
with braces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5593 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a12a89d48a0c0a8b3cab2fcede6ba7be56a5478 |
|
24-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warnung
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5243 cec4b9c1-7d33-0410-9eda-942365e851bb |
e52b36d5e1db1e27c928fee1bf4cd557497d150e |
|
21-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
commented out single condTrace
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5228 cec4b9c1-7d33-0410-9eda-942365e851bb |
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 |
|
29-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded tabs to spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
88ece6e49930670e8fd3ee79c89a2e918d2fbd0c |
|
12-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted Common.Lib.Set and Map to ghc-6.4 library version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4263 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfa3df9a76eebd7d6934623e99194ad954be54ea |
|
03-Sep-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
improved various printing and LaTeX tweaks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3131 cec4b9c1-7d33-0410-9eda-942365e851bb |
371ee0b2b491bfade242260cb706897bcd56f344 |
|
14-May-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
corrected a typo in hc_sty_plain_keyword
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2602 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f0d70e1f2fbfa7456f65d5439c7f1fa3c3e65df |
|
28-Apr-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Updated the documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2496 cec4b9c1-7d33-0410-9eda-942365e851bb |
b51b206bc443e432fb5779761c754195d6d876f5 |
|
20-Apr-2004 |
Heng Jiang <jiang@tzi.de> |
LaTex_funs.hs & LaTeX_utils.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2421 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3067870efbc6b41c3dec422a1e03049420abf51 |
|
19-Feb-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
started things for the work of Xavier on LaTeX-stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2206 cec4b9c1-7d33-0410-9eda-942365e851bb |
e298242f833a0b2e7f126807cf16e28636b165f7 |
|
17-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Trace import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2182 cec4b9c1-7d33-0410-9eda-942365e851bb |
306763c67bb99228487345b32ab8c5c6cd41f23c |
|
12-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted headers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2158 cec4b9c1-7d33-0410-9eda-942365e851bb |
681a52885a90d8fc7a0b4a150c2ca585be88e1d3 |
|
18-Jul-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* some new functions:
* hc_sty_structid_indexed
* startAnno
* endAnno
* pt_length
* escape_comment_latex
improved comment printing;
added possibility to print Indexed structids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1550 cec4b9c1-7d33-0410-9eda-942365e851bb |
b22804a87ac46c55e49f6031bb84645d03ae01ec |
|
04-Mar-2003 |
Felix Reckers <felix@informatik.uni-bremen.de> |
Finished function 'itCorrection', with 'italiccorrection_map' from LaTeX_maps.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1045 cec4b9c1-7d33-0410-9eda-942365e851bb |
d21f1db14625cb0a536fc06b46fcc115d48a25bb |
|
25-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
unused package data and FiniteMap
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@990 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bb |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced qualified names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@972 cec4b9c1-7d33-0410-9eda-942365e851bb |
9929f81562adecc8aafaefb14a0159afcf4a3351 |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Common.Lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@941 cec4b9c1-7d33-0410-9eda-942365e851bb |