root/trunk @ 11229

Name Size Rev Age Last Change
../
ATC 11205 11 months maeder: renamed Anno_Parser to AnnoParser?
CASL 11226 11 months csliam: Implemented SimplySen? for CspCASL
CASL_DL 11205 11 months maeder: renamed Anno_Parser to AnnoParser?
CoCASL 11201 11 months maeder: renamed funs in CASL to ops
COL 10910 13 months maeder: better support for morphism extensions
Common 11210 11 months maeder: refactored further
Comorphisms 11225 11 months csliam: Improved support for CASL sentences inside CspCASL specifications
ConstraintCASL 10710 14 months maeder: do not re-export modules
CspCASL 11228 11 months csliam: Added simplification of CspCASL sentences, currently this is turned off …
doc 10762 14 months mcodescu: added normal forms and colimits to Proofs
Driver 11081 12 months maeder: fixed ticket #620
GMP 11192 11 months lschrode: old ideas on compositionality
GUI 11229 11 months rpascanu: Changes to GUI to use common datatypes in Interfaces
haifa-lite 11156 12 months maeder: allow for ghc-6.10.1 using base3
HasCASL 11205 11 months maeder: renamed Anno_Parser to AnnoParser?
Haskell 11068 12 months maeder: moved to the top
Interfaces 11229 11 months rpascanu: Changes to GUI to use common datatypes in Interfaces
Isabelle 11082 12 months maeder: removed trailing spaces
Logic 11193 11 months maeder: changed language options for ghc-6.10.1
Lottery 10428 16 months maeder: removed more than two consecutive blank lines
Maude 10423 16 months maeder: removed trailing whitespace (or add missin final newline)
mini 10427 16 months maeder: removed trailing blank lines
Modal 11008 12 months till: refactored prover interface: carry around freeness constraints
Modifications 11193 11 months maeder: changed language options for ghc-6.10.1
OMDoc 11201 11 months maeder: renamed funs in CASL to ops
OWL 11165 11 months maeder: implemented cogenerated_sign and other methods so that hiding works
PGIP 11229 11 months rpascanu: Changes to GUI to use common datatypes in Interfaces
pretty 6177 4 years 2maeder: added setminus
Proofs 11229 11 months rpascanu: Changes to GUI to use common datatypes in Interfaces
Propositional 11184 11 months maeder: removed unused searchResult
RelationalScheme 10804 14 months maeder: lookup goes to Maybe
Search 10890 13 months maeder: reused the same proof tree
SoftFOL 11173 11 months maeder: support uni version 2 with hierarchical module names
Static 11195 11 months maeder: actually delete the file as promised
syb-generics 9141 2 years maeder: update to Cabal 1.2 for ghc-6.8.1
Syntax 11185 11 months till: documentation for data logic
Taxonomy 11190 11 months maeder: changed import
Temporal 11178 11 months maeder: removed commented out code
test 10894 13 months maeder: example for #607
ToHaskell 11191 11 months maeder: changed layout by ghc-6.10.1
utils 11194 11 months maeder: install mac jobs and wake them up
VSE 11201 11 months maeder: renamed funs in CASL to ops
ATC.hs 0.6 kB 9544 22 months maeder: deleted trailing white spaces
build.xml 479 bytes 11114 12 months luecke:
CASL.hs 4.0 kB 9333 2 years maeder: changed folder description
CASL_DL.hs 1.7 kB 8947 2 years ken: cleaned up codes
clean.lst 0.5 kB 11162 11 months maeder: keep OWL/java for ant
clean.sh 160 bytes 2054 6 years 2maeder: release management
CoCASL.hs 1.3 kB 9333 2 years maeder: changed folder description
COL.hs 273 bytes 8810 2 years till: added module description
Common.hs 3.1 kB 11205 11 months maeder: renamed Anno_Parser to AnnoParser?
Comorphisms.hs 1.6 kB 10285 17 months csliam: Liam: Added a basic Isabelle Proof datatype and integrated it into IsaSign?
CspCASL.hs 0.8 kB 10272 17 months maeder: added haddock markup to url
Driver.hs 263 bytes 8947 2 years ken: cleaned up codes
GUI.hs 2.4 kB 10620 15 months mgross: The development graph now generates tactic script information which can be …
HasCASL.hs 2.8 kB 9333 2 years maeder: changed folder description
Haskell.hs 1.0 kB 8947 2 years ken: cleaned up codes
Hets-Haddock-Prologue.txt 5.6 kB 11188 11 months maeder: limited support for haddock version 2.3
Hets.cabal 1.1 kB 11197 11 months maeder: adjusted to ghc-6.10.1
hets.hs 2.6 kB 11068 12 months maeder: moved to the top
hets.in 2.0 kB 9549 22 months maeder: added comment for Aquamacs
ideas 3.1 kB 10000 19 months till: some references about tool chains
INSTALL 2.7 kB 11016 12 months mgross: small typo I noticed
Isabelle.hs 1.2 kB 10433 16 months maeder: added header
LICENSE.txt 4.4 kB 9566 22 months maeder: 2 blank lines between paragraphs
LIZENZ.txt 4.7 kB 9567 22 months maeder: changed format only
Logic.hs 2.3 kB 11186 11 months maeder: removed ghc modules Set and Map
Makefile 25.2 kB 11228 11 months csliam: Added simplification of CspCASL sentences, currently this is turned off …
Makefile.installer 5.7 kB 10082 18 months maeder: removed OWL/lib
Modal.hs 1.1 kB 9333 2 years maeder: changed folder description
OMDoc.hs 2.3 kB 10522 15 months elena: documentation about OMDocOutput.hs added
OWL.hs 2.0 kB 10912 13 months maeder: renamed OWL11 to OWL
PGIP.hs 74 bytes 6463 3 years 2rpascanu: First version of PGIP script interface
Proofs.hs 0.9 kB 8947 2 years ken: cleaned up codes
Propositional.hs 151 bytes 8947 2 years ken: cleaned up codes
README 2.2 kB 10668 15 months maeder: extended for Mac users
README.installer 2.6 kB 9565 22 months maeder: added example and OS hints
RelationalScheme.hs 59 bytes 9660 21 months luecke: AS, Parser (incomplete) for Rel
ReleaseMakefile 0.7 kB 10850 13 months maeder: moved common variables to var.mk
sample-ghci-script 1.6 kB 9731 21 months maeder: corrected tests
SoftFOL.hs 2.9 kB 10432 16 months maeder: adjusted to changes
Static.hs 1.0 kB 10397 16 months maeder: removed Static.DGToSpec
Taxonomy.hs 0.9 kB 8947 2 years ken: cleaned up codes
Test.hs 6.4 kB 11023 12 months maeder: adapted to history change
todo 167 bytes 9683 21 months luecke: added typecheck for Rel... changed syntax a little
var.mk 2.3 kB 11193 11 months maeder: changed language options for ghc-6.10.1
version_nr 5 bytes 10769 14 months maeder: increase to 0.91
  • Property svn:ignore set to
    .project
    consoleHistory.tmp
    docs
    hets
    http
    hxt
    shellac
    shread
Note: See TracBrowser for help on using the browser.