Labels

bug
bug
C:architectural and refinement
C:architectural and refinement
C:basic-library
C:basic-library
C:casl-ext
C:casl-ext
C:change-management
C:change-management
C:CMDL interface
C:CMDL interface
C:ColoSS
C:ColoSS
C:CommonLogic
C:CommonLogic
C:comorphisms
C:comorphisms
C:development-graph
C:development-graph
C:DOL
C:DOL
C:driver
C:driver
C:GDOL
C:GDOL
C:hets
C:hets
C:interfaces
C:interfaces
C:Isabelle
C:Isabelle
C:logic
C:logic
C:logic-casl
C:logic-casl
C:logic-hascasl
C:logic-hascasl
C:Maude
C:Maude
C:modal
C:modal
C:MonadLogics
C:MonadLogics
C:ontology
C:ontology
C:OWL
C:OWL
C:process algebra
C:process algebra
C:provers
C:provers
C:RESTful interface
C:RESTful interface
C:third-party
C:third-party
dependencies
dependencies
Pull requests that update a dependency file
duplicate
duplicate