Log Message:
Update to FriCAS 1.2.5

Changes in FriCAS 1.2.5:

- Fixed printing of scripted symbols.
- Fixed 'totalDegreeSorted' (affected Groebner bases).
- Fixed few problems with Hensel lifting (including SF bug 47).
- Fixed 'series' in UnivariateLaurentSeriesConstructor.
- Fixed 'order' in SparseUnivariatePowerSeries.
- Printing of series now respect 'showall' setting, cyclic
  series are detected.
- Fixed problem with interpreter preferring Union to base type.

Changes in FriCAS 1.2.4:

- New cylindrical decomposition package.
- New GnuDraw package for plotting via gnuplot.
- Texmacs interface now handles Cork symbols.
- Added double precision versions of several special functions
      (needed for plotting).
- Nopile mode for Spad is changed to be more convenient.
- 'stringMatch' is removed (was broken beyond repair).

Bug fixes, in particular:

- Fixed intepreter assignment to parts of nested aggregates
      (issue 376).
- Fixed interpreter coercion from Equation to Boolean (issue 359).
- Fix printing of '\%i' in types (issue 132).
- Disabled incorrect shortcut during coercion (issue 29).
- Difference of intervals now agrees with definition as interval
      operation.
- Avoid overwriting loop limit and increment.
- Fix a polynomial gcd failure due to bad reduction.
- Avoid mangling unevaluated algebraic integrals.
- Fix integration of unevaluated derivatives.
- Restore parser handling of '\\/' and '/\\'.
- Properly escape strings and symbols in TeXFormat.

Changes in FriCAS 1.2.3:

- Fixed pattern matching using '%i' in patterns.
- Fixed ')display op coerce'.
- Fixed ')version' command.
- Fixed crash when printing '%'.
- Fix a buffer overflow in HyperDoc.
- Fixed HyperDoc errors in 'Dependants' and 'Users'.
- HyperDoc browser better handles constructors with parameters.

Changes in FriCAS 1.2.2:

- Improvements to 'integrate': better handling of algebraic
  integrals, new routine which handles some integrals contaning
  'lambertW'.
- Improvements to 'limit', now Gruntz algorithm knows about
  a few tractable functions.
- Smith form of sparse integer matrices is now much more
  efficient.
- Generalized indexing for two dimensional arrays.
- Pile/nopile mode is now restored after ')read' or ')compile'.
  Piling rules now accept some forms of multiline lists.
- Eliminated version checking in generated code. Note: this
  change means that Spad code compiled by earlier FriCAS versions
  will not run in FriCAS 1.2.2.
- Updated Aldor interface to work with free Aldor.

Bug fixes, in particular:

- Interpreter can now handle complicated mutually recursive
  functions.
- Spad compiler should now correctly handle 'has' inside a function.
- Fixed derivatives of Whittaker functions.

Changes in FriCAS 1.2.1:

-- Support for building Mac OS application bundle.

Bug fixes, in particular:

-- fixed few cases of wrong or unevaluated integrals.
-- better zero test during limit computation avoids division
   by zero.
-- fixed buffer overflow problems in view3D.
-- 'reducedSystem' on empty input returns basis of correct size.