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 | |
|---|---|