root/tags/release-0-65
| Name | Size | Rev | Age | Last Change |
|---|---|---|---|---|
| ../ | ||||
| ATC | 7125 | 3 years | use error "msg" instead of undefined | |
| CASL | 7141 | 3 years | This commit was manufactured by cvs2svn to create tag 'release-0-65'. | |
| CASL_DL | 6751 | 4 years | adapted to change in Common.ConvertLiteral?, removed CASL.LiteralFuns? | |
| CoCASL | 6695 | 4 years | changed functions for signature differences | |
| COL | 6695 | 4 years | changed functions for signature differences | |
| Common | 7125 | 3 years | use error "msg" instead of undefined | |
| Comorphisms | 7133 | 3 years | added simulated induction | |
| ConstraintCASL | 7104 | 3 years | moved notFollowedWith to Common.Lexer | |
| CspCASL | 6695 | 4 years | changed functions for signature differences | |
| doc | 7125 | 3 years | use error "msg" instead of undefined | |
| Driver | 7129 | 3 years | relaxed UNI_PACKAGE dependency | |
| GUI | 7135 | 3 years | only display folders | |
| haifa-lite | 7108 | 3 years | added final newline, white-space-only change | |
| HasCASL | 6780 | 4 years | avoided final spaces | |
| Haskell | 7093 | 3 years | try to avoid code blow-up by optimization | |
| hcl | 6320 | 4 years | correct haddock url | |
| hxt | 6972 | 3 years | added -fallow-undecidable-instances OPTIONS | |
| Isabelle | 7094 | 3 years | removed unnecessary Isabelle term constructors | |
| Logic | 7125 | 3 years | use error "msg" instead of undefined | |
| Lottery | 5106 | 4 years | expanded tabs to spaces | |
| mini | 774 | 7 years | HetCASL parser extended to all SPECs | |
| Modal | 6695 | 4 years | changed functions for signature differences | |
| OMDoc | 7125 | 3 years | use error "msg" instead of undefined | |
| OWL_DL | 7070 | 3 years | use owl_parser instead of processor | |
| PGIP | 7089 | 3 years | changed scanPathFile and scanAnyWord by omitting caslLetters | |
| pretty | 6177 | 4 years | added setminus | |
| Proofs | 7099 | 3 years | additional parameter in update function for showing current (next) goal | |
| SPASS | 7121 | 3 years | removed regular expression in spassProof | |
| Static | 7125 | 3 years | use error "msg" instead of undefined | |
| syb-generics | 6971 | 3 years | ctx is not varT but conT for DictXMLData in XMLSchema.hs | |
| Syntax | 7104 | 3 years | moved notFollowedWith to Common.Lexer | |
| Taxonomy | 7092 | 3 years | used english button text | |
| test | 6791 | 4 years | check latex display | |
| ToHaskell | 6074 | 4 years | moved h2h and h2hf from ToHaskell? to Haskell | |
| utils | 7113 | 3 years | replaced umlauts and cleaned up a bit | |
| ATC.hs | 380 bytes | 4164 | 5 years | documentation |
| CASL.hs | 3.4 kB | 4985 | 5 years | fixed reference to parsec |
| CASL_DL.hs | 21 bytes | 4051 | 5 years | dummy modules for haddock directory documentation |
| clean.lst | 1.2 kB | 6380 | 4 years | added included paths |
| clean.sh | 160 bytes | 2054 | 6 years | release management |
| CoCASL.hs | 1.2 kB | 6611 | 4 years | removed LaTeX file and cleaned up |
| COL.hs | 190 bytes | 4164 | 5 years | documentation |
| Common.hs | 3.2 kB | 6495 | 4 years | adjust to changed files |
| Comorphisms.hs | 1.1 kB | 5106 | 4 years | expanded tabs to spaces |
| CspCASL.hs | 0.7 kB | 5106 | 4 years | expanded tabs to spaces |
| cvs-howto | 2.4 kB | 5760 | 4 years | *** empty log message *** |
| Driver.hs | 271 bytes | 5106 | 4 years | expanded tabs to spaces |
| GUI.hs | 1.5 kB | 6930 | 4 years | Comments for new modules, updated description. |
| HasCASL.hs | 2.8 kB | 6495 | 4 years | adjust to changed files |
| Haskell.hs | 1.0 kB | 4433 | 5 years | replaced Licence with License for haddock-07 |
| Hets-Haddock-Prologue.txt | 5.0 kB | 5488 | 4 years | added TACAS paper |
| hets.hs | 2.9 kB | 6902 | 4 years | added comments to all functions |
| hets.in | 0.6 kB | 7095 | 3 years | added checkout of programatica |
| ideas | 8.0 kB | 7109 | 3 years | *** empty log message *** |
| INSTALL | 2.1 kB | 6757 | 4 years | adjusted to current state |
| Isabelle.hs | 0.8 kB | 4164 | 5 years | documentation |
| LICENCE.txt | 4.4 kB | 6135 | 4 years | changed one Umlaut |
| LICENSE.txt | 4.4 kB | 4430 | 5 years | added spell checked License |
| LIZENZ.txt | 4.8 kB | 2575 | 6 years | Adapted to comments from Mr. Martens (Rechtsstelle) |
| Logic.hs | 2.2 kB | 5022 | 4 years | Improved documentation |
| Makefile | 23.8 kB | 7128 | 3 years | added HAXML dependency |
| Makefile.installer | 4.3 kB | 7096 | 3 years | programatica is checkout in src-directory; must give the passwort of … |
| Modal.hs | 1.1 kB | 6611 | 4 years | removed LaTeX file and cleaned up |
| OWL_DL.hs | 20 bytes | 4051 | 5 years | dummy modules for haddock directory documentation |
| PGIP.hs | 74 bytes | 6463 | 4 years | First version of PGIP script interface |
| Proofs.hs | 0.8 kB | 4960 | 5 years | added module description |
| README | 4.1 kB | 4326 | 5 years | removed unsafe coerce |
| ReleaseMakefile | 2.4 kB | 7134 | 3 years | call ghc-pkg |
| SPASS.hs | 3.3 kB | 6939 | 4 years | haddock without warnings |
| Static.hs | 1.0 kB | 4127 | 5 years | documentation |
| Taxonomy.hs | 22 bytes | 4051 | 5 years | dummy modules for haddock directory documentation |
| Test.hs | 5.0 kB | 6688 | 4 years | added test for injectivity of signature morphisms |
| todo | 30.8 kB | 7139 | 3 years | Ken |
| version_nr | 5 bytes | 7140 | 3 years | release version 0.65 |
Note: See TracBrowser
for help on using the browser.
