Pacchetto KMcalc

poxx” post=69795Buongiorno a tutti,

mi trovo a dover installare il pacchetto KMcalc per il calcolo deduttivo nella forma del sistema ideato in Kalish & Montague 1964 (da cui il nome KMcalc): qui un esempio.

Purtroppo il pacchetto non è presente nel Package Manager di MiKTeX per Windows, mentre da qui è possibile scaricarlo. Tuttavia non sono stato assolutamente in grado di installarlo.

Vi sarei grato se sapeste in qualche modo aiutarmi.

Copia semplicemente il file KMcalc.sty nella cartella del sorgente (rinominandolo senza il prefisso numerico, in altre parole il file si deve chiamare proprio KMcalc.sty).

Immagino sia un pacchetto non disponibile in CTAN.
R.

poxx” post=69801Qual è la cartella del sorgente che intendi? Io l’ho copiata in

C:\Programmi\MiKTeX 2.8\tex\latex\base

ma non ha sortito alcun effetto…

Semplicemente la cartella in cui si trova il sorgente LaTeX che fa uso del pacchetto KMcalc.sty.
Una modalità “locale”, ma lo puoi anche sistemare in \tex\latex\base ma poi devi rigenerare il database dei nomi (e con MiKTeX non ricordo come si facesse).
Un saluto.
R.

poxx” post=69806Ho rigenerato il database dei nomi da Start > Programmi > MiKTeX 2.8 > Maintenance > Settings > General > Refresh FNDB, ma ancora non è servito a nulla.
Precisamente a cosa ti riferivi con:

la cartella in cui si trova il sorgente LaTeX che fa uso del pacchetto KMcalc.sty. Una modalità “locale”

?

Intendevo, metti il file KMcalc.sty nella stessa cartella dove si trova il sorgente LaTeX a cui stai lavorando.
Bye

Tra l’altro perché continui ad usare MiKTeX 2.8 che ha dai 3 ai 4 anni? Con un software così vecchio ti mancano tante cose nuove che in questo periodo di tempi fioriscono anche di notte.