Motore di ricerca interno
Il motore di ricerca interno consente di effettuare delle ricerche di documentazione, materiali, ecc.
Si possono effettuare ricerche anche con sintassi specifiche seguendo le istruzioni in basso.
Sono accettate solo parole con due o più caratteri, per un massimo di 200 caratteri totali. Lo spazio è usato per separare le parole mentre le doppie virgolette ("") possono essere utilizzate per cercare un'intera frase di due o più parole.
Gli operatori AND, OR e NOT possono essere usati prefissi alle parole da cercare. I caratteri +/|/- corrispondono agli operatori AND, OR e NOT.
Tutte le parole sono convertite in caratteri minuscoli.