Historique | Voir | Annoter | Télécharger (3,83 ko)
TXM 0.8.3 modifications
renaming TIGERSeach extensio nto Syntactic Treeupdating batik libsadd ud trees plugin
rename "main" to "trunk" -> more common
rename "tmp" to "main"
create the TXM dir + move tmp
fix debian installer
fix launch scripts to use the "launcher" binary launcher instead of "TXM"
fix TXM.ini file
update build scripts
some fixes
adding Toolbox.notifyEngines() to notify engines about a TXMResult state
fixing extensions
fixing Linux launcher version
maj javadoc
fix TXM user directory "_" > "" & "_dev" -> "-dev"
fix common_structuralUnit message key name
fix properties export file name
fix linux64 build script
move org.txm.setups project in root directory
fix home dir creation (jar reading bug)
update linux build script