Fichier d’origine (994 × 814 pixels, taille du fichier : 105 kio, type MIME : image/png)

Ce fichier et sa description proviennent de Wikimedia Commons.

Description

Description
English: Isabelle/jEdit running on macOS.
Date
Source https://isabelle.in.tum.de/overview.html
Auteur University of Cambridge et al.

Conditions d’utilisation

Droits d’auteur © L'auteur

La redistribution et l'utilisation sous forme de code source ou binaire, avec ou sans modifications, sont autorisées pourvu que les conditions suivantes soient remplies :

  1. Les redistributions du code source doivent conserver la mention de copyright ci-dessus, la présente liste de conditions et l'avertissement suivant.
  2. Les redistributions sous forme binaire doivent reproduire, dans la documentation et / ou dans les autres documents fournis avec la distribution, la notice de copyright ci-dessus, la présente liste de conditions et l'avertissement suivant.
  3. Ni le nom de l'auteur ni les noms des contributeurs ne peuvent être utilisés pour soutenir ou pour promouvoir des produits dérivés de ce logiciel sans une permission écrite préalable et spécifique.

Ce logiciel est fourni par l'auteur et les contributeurs "tel quel" et aucune garantie expresse ou implicite n'est donnée, y compris, sans s'y limiter, de garanties de qualité marchande ou d'adéquation à un besoin particulier. En aucun cas l'auteur et les contributeurs ne pourra être tenu pour responsable en cas de dommages direct, indirect, fortuit, spécial, exemplaire ou consécutif à une action (y compris, sans s'y limiter, la fourniture de biens ou de services de substitution ; la perte d'exploitation, de données, de bénéfices ; ou l'interruption des activités commerciales) quelle qu'en soit la raison et quelle qu'en soit la responsabilité, aussi bien contractuelle, pour des responsabilités strictes, ou des préjudices (y compris par négligence ou autres) survenant de quelques manière que ce soit en dehors de ce logiciel, même en cas d'avertissement de la possibilité de tels dommages.

Légendes

Ajoutez en une ligne la description de ce que représente ce fichier

Éléments décrits dans ce fichier

dépeint

Historique du fichier

Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.

Date et heureVignetteDimensionsUtilisateurCommentaire
actuel9 février 2018 à 19:22Vignette pour la version du 9 février 2018 à 19:22994 × 814 (105 kio)Ixfd64User created page with UploadWizard

La page suivante utilise ce fichier :

Usage global du fichier

Les autres wikis suivants utilisent ce fichier :

Métadonnées