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 |
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 |
1919a6a14fe26dc3cf6ceb31964efef36504ae6b |
|
11-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16443 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c1ae01beeedaa18cf2a669f9044da5c19f23f35 |
|
11-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly treat tabs overflow for DRA.casl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16442 cec4b9c1-7d33-0410-9eda-942365e851bb |
60f05f7babfa725e225c9730afa956b8596c548a |
|
04-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use modify
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16225 cec4b9c1-7d33-0410-9eda-942365e851bb |
51612cbf13f103a1a74f13aec8840c7b8a4f681f |
|
04-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16220 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 |
768fb6ee672916ad50027f7d17d652efeaa2a68b |
|
04-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove latex debug stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16214 cec4b9c1-7d33-0410-9eda-942365e851bb |
ce3570dd4d10d200bf1a66323755bb3f4cb0d70c |
|
30-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared the switch to Control.Monad.Trans.State
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16211 cec4b9c1-7d33-0410-9eda-942365e851bb |
7131e7990c62a2134258953e562c7bbcbb4188d2 |
|
21-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14599 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e87e1dc85fa76cc6eaeb8eafbc0bea77af939f4 |
|
21-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
produce pdf from latex in hets server
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14598 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 |
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 |
6bcdf8fc684a7a2d03f41bba002cfeaa0fbe023c |
|
09-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12805 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 |
4f95b96ea80195ff6dbd2581dbc2d7e6c91ec994 |
|
26-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed maximal 12 Tabs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7550 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 |
7faad0b88e75999793a464a2d8edb44e03d325ac |
|
10-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed old PrettyPrint stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6648 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c2d08d05e4383f7a072f68623866d383b734bb0 |
|
29-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
set line length from Print_HetCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6540 cec4b9c1-7d33-0410-9eda-942365e851bb |
bdda0dd695aa123430cfa49773bd6d2669a9ba3d |
|
29-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not set tabs after onlyTabs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6533 cec4b9c1-7d33-0410-9eda-942365e851bb |
b066828e6924d2a0cb8256a4b25b13061191f44b |
|
11-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused printToken functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6192 cec4b9c1-7d33-0410-9eda-942365e851bb |
615ef723f845e48d74cd88934738ac9ba76de0b3 |
|
23-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch on latex formula printing via new Common.Doc and CASL.ToDoc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6114 cec4b9c1-7d33-0410-9eda-942365e851bb |
780968108458f4ecf345989b6578fe97f16dff72 |
|
10-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Token and Id instances, removed unused printId
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5955 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 |
82dd689e5888d7d489ed20ce010b0cccfcd1db34 |
|
27-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed renderText and textStyle and used version from Common.Lib.Pretty
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5731 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 |
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 |
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc |
|
15-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 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 |
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 |
aeee348cf9f7d1d06104f3f3aa1b7bbf59b14cc1 |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved trivial latex instance back to PrettyPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2209 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f5b6818afaf24a165ac52abe6297c64d626f46b |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
left the mere class in PrettyPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2199 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f6b3834ba54649fc02cae002bac0258b6b5dcba |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated text and latex printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2196 cec4b9c1-7d33-0410-9eda-942365e851bb |