search

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

Update site failing #74

Open leouk opened 11 years ago

leouk commented 11 years ago

Update site doesn't work for the released download but only nightly builds

Your original request has been modified.
  "Isabelle/Eclipse Prover IDE" is already installed, so an update will be performed instead.
Cannot complete the install because of a conflicting dependency.
  Software being installed: Isabelle/Eclipse Prover IDE 1.3.0.201304161532 (isabelle.eclipse.feature.feature.group 1.3.0.201304161532)
  Software currently installed: Isabelle/Eclipse IDE 1.2.0.201304161333 (isabelle.eclipse.product 1.2.0.201304161333)
  Only one of the following can be installed at once: 
    Isabelle/Eclipse Prover IDE 1.2.0.201304161316 (isabelle.eclipse.feature.feature.jar 1.2.0.201304161316)
    Isabelle/Eclipse Prover IDE 1.3.0.201304161532 (isabelle.eclipse.feature.feature.jar 1.3.0.201304161532)
  Cannot satisfy dependency:
    From: Isabelle/Eclipse Prover IDE 1.2.0.201304161316 (isabelle.eclipse.feature.feature.group 1.2.0.201304161316)
    To: isabelle.eclipse.feature.feature.jar [1.2.0.201304161316]
  Cannot satisfy dependency:
    From: Isabelle/Eclipse Prover IDE 1.3.0.201304161532 (isabelle.eclipse.feature.feature.group 1.3.0.201304161532)
    To: isabelle.eclipse.feature.feature.jar [1.3.0.201304161532]
  Cannot satisfy dependency:
    From: Isabelle/Eclipse IDE 1.2.0.201304161333 (isabelle.eclipse.product 1.2.0.201304161333)
    To: isabelle.eclipse.feature.feature.group [1.2.0.201304161316]