Accueil : Différence entre versions
Sauter à la navigation
Sauter à la recherche
Ligne 18 : | Ligne 18 : | ||
{{cadre2|Titre=Outils pour administrer HAL|Couleur=#14235C|Texte= | {{cadre2|Titre=Outils pour administrer HAL|Couleur=#14235C|Texte= | ||
* [[Administrer HAL au quotidien]] | * [[Administrer HAL au quotidien]] | ||
+ | * [[Outils et services développés localement pour améliorer ou faciliter l'utilisation de HAL]] | ||
}} | }} | ||
Version du 4 janvier 2017 à 09:43
Ce wiki est a la disposition de la communauté des utilisateurs de HAL, afin de permettre un partage des outils, spécifications et bonnes pratiques dans HAL.
Ressources pour les administrateurs | |
---|---|
Bonnes pratiques et tutoriels de saisie dans HAL | |
---|---|
Outils pour administrer HAL | |
---|---|
API | |
---|---|
|
Statistiques | |
---|---|