Outils pour utilisateurs
dev:recherche
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
dev:recherche [2018/06/25 14:45] chloe [Fonctionnalités] |
dev:recherche [2019/02/15 13:38] (Version actuelle) |
||
|---|---|---|---|
| Ligne 18: | Ligne 18: | ||
| Filtre index, glossaire, toc | Filtre index, glossaire, toc | ||
| + | |||
| + | Bouton : attribuer un nom au corpus issu de la recherche. | ||
| + | |||
| + | Rechercher : | ||
| + | * nouvelle recherche | ||
| + | * sur la base du corpus issu de la requête précédent | ||
| + | |||
| + | |||
dev/recherche.1529930702.txt.gz · Dernière modification: 2019/02/15 13:38 (modification externe)
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
